skip to content
Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings Preview this item
ClosePreview this item
Checking...

Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings

Author: Michal Hospodár; Galina Jirásková; Stavros Konstantinidis
Publisher: Cham, Switzerland : Springer, 2019. ©2019
Series: Lecture notes in computer science, 11612.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Michal Hospodár; Galina Jirásková; Stavros Konstantinidis
ISBN: 9783030232474 3030232476 3030232468 9783030232467 9783030232481 3030232484
OCLC Number: 1111387557
Description: 1 online resource (x, 299 pages) : illustrations
Contents: A general framework for sequential grammars with control mechanisms / Rudolf Freund --
Low-complexity tilings of the plane / Jarkko Kari --
Union-freeness, deterministic union-freeness and union-complexity / Benedek Nagy --
Limited automata : properties, complexity and variants / Giovanni Pighizzini --
Nondeterministic right one-way jumping finite automata / Simon Beier and Markus Holzer --
State complexity of single-word pattern matching in regular languages / Janusz A. Brzozowski, Sylvie Davies, and Abhishek Madan --
Square, power, positive closure, and complementation on star-free languages / Sylvie Davies and Michal Hospodár --
Descriptional complexity of matrix simple semi-conditional grammars / Henning Fernau, Lakshmanan Kuppusamy, and Indhumathi Raman --
Regulated tree automata / Henning Fernau and Martin Vu --
Generalized de Bruijn words and the state complexity of conjugate sets / Daniel Gabric, Štěpán Holub, and Jeffrey Shallit --
The syntactic complexity of semi-flower languages / Kitti Gelle and Szabolcs Iván --
Limited nondeterminism of input-driven pushdown automata : decidability and complexity / Yo-Sub Han, Sang-Ki Ko, and Kai Salomaa --
Computability on quasi-Polish spaces / Mathieu Hoyrup, Cristóbal Rojas, Victor Selivanov, and Donald M. Stull --
NFA-to-DFA trade-off for regular operations / Galina Jirásková and Ivana Krajňáková --
State complexity of simple splicing / Lila Kari and Timothy Ng Nondeterminism growth and state complexity / Chris Keeler and Kai Salomaa --
Descriptional complexity of iterated uniform finite-state transducers / Martin Kutrib, Andreas Malcher, Carlo Mereghetti, and Beatrice Palano --
On classes of regular languages related to monotone WQOs / Mizuhito Ogawa and Victor Selivanov --
State complexity of GF(2)-concatenation and GF(2)-inverse on unary languages / Alexander Okhotin and Elizaveta Sazhneva --
Pushdown automata and constant height : decidability and bounds / Giovanni Pighizzini and Luca Prigioniero --
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances / Petra Wolf --
How does adiabatic quantum computation fit into quantum automata theory? / Tomoyuki Yamakami.
Series Title: Lecture notes in computer science, 11612.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: DCFS 2019
Responsibility: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.

Abstract:

This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Kosice, Slovakia, in July 2019.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1111387557> # Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "1111387557" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9433006640#Topic/logic_design> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/9433006640#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/9433006640#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/9433006640#Topic/computer_science> ; # Computer science
    schema:alternateName "DCFS 2019" ;
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2019" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/9433006640#Meeting/dcfs_workshop_21st_2019_kosice_slovakia> ; # DCFS (Workshop) (21st : 2019 : Košice, Slovakia.)
    schema:datePublished "2019" ;
    schema:description "This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. --"@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/9433006640#Person/jiraskova_galina> ; # Galina Jirásková
    schema:editor <http://experiment.worldcat.org/entity/work/data/9433006640#Person/hospodar_michal> ; # Michal Hospodár
    schema:editor <http://experiment.worldcat.org/entity/work/data/9433006640#Person/konstantinidis_stavros> ; # Stavros Konstantinidis
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9433006640> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9433006640#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9433006640#Series/theoretical_computer_science_and_general_issues> ; # Theoretical Computer Science and General Issues
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9433006640#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9433006640#Series/lectures_notes_in_computer_science> ; # Lectures notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/9433006640#CreativeWork/> ;
    schema:name "Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings"@en ;
    schema:productID "1111387557" ;
    schema:url <https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=5922020> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-030-23247-4> ;
    schema:url <https://doi.org/10.1007/978-3-030-23247-4> ;
    schema:workExample <http://worldcat.org/isbn/9783030232474> ;
    schema:workExample <http://worldcat.org/isbn/9783030232467> ;
    schema:workExample <http://worldcat.org/isbn/9783030232481> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-23247-4> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB9D8293> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1111387557> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9433006640#Meeting/dcfs_workshop_21st_2019_kosice_slovakia> # DCFS (Workshop) (21st : 2019 : Košice, Slovakia.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/9433006640#Place/kosice_slovakia> ; # Košice, Slovakia.)
    schema:name "DCFS (Workshop) (21st : 2019 : Košice, Slovakia.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9433006640#Person/hospodar_michal> # Michal Hospodár
    a schema:Person ;
    schema:familyName "Hospodár" ;
    schema:givenName "Michal" ;
    schema:name "Michal Hospodár" ;
    .

<http://experiment.worldcat.org/entity/work/data/9433006640#Person/jiraskova_galina> # Galina Jirásková
    a schema:Person ;
    schema:familyName "Jirásková" ;
    schema:givenName "Galina" ;
    schema:name "Galina Jirásková" ;
    .

<http://experiment.worldcat.org/entity/work/data/9433006640#Person/konstantinidis_stavros> # Stavros Konstantinidis
    a schema:Person ;
    schema:familyName "Konstantinidis" ;
    schema:givenName "Stavros" ;
    schema:name "Stavros Konstantinidis" ;
    .

<http://experiment.worldcat.org/entity/work/data/9433006640#Place/kosice_slovakia> # Košice, Slovakia.)
    a schema:Place ;
    schema:name "Košice, Slovakia.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9433006640#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1111387557> ; # Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/9433006640#Series/lectures_notes_in_computer_science> # Lectures notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1111387557> ; # Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings
    schema:name "Lectures notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/9433006640#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1111387557> ; # Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/9433006640#Series/theoretical_computer_science_and_general_issues> # Theoretical Computer Science and General Issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1111387557> ; # Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings
    schema:name "Theoretical Computer Science and General Issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/9433006640#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9433006640#Topic/formal_methods_computer_science> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://worldcat.org/entity/work/data/9433006640#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1111387557> ; # Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings
    .

<http://worldcat.org/isbn/9783030232467>
    a schema:ProductModel ;
    schema:isbn "3030232468" ;
    schema:isbn "9783030232467" ;
    .

<http://worldcat.org/isbn/9783030232474>
    a schema:ProductModel ;
    schema:isbn "3030232476" ;
    schema:isbn "9783030232474" ;
    .

<http://worldcat.org/isbn/9783030232481>
    a schema:ProductModel ;
    schema:isbn "3030232484" ;
    schema:isbn "9783030232481" ;
    .

<http://www.worldcat.org/title/-/oclc/1111387557>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1111387557> ; # Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings
    schema:dateModified "2019-11-14" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.