skip to content
Developments in language theory : 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings Preview this item
ClosePreview this item
Checking...

Developments in language theory : 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings

Author: Volker Diekert; Dirk Nowotka
Publisher: Berlin ; New York : Springer, ©2009.
Series: Lecture notes in computer science, 5583.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the proceedings of the 13th International Conference, DLT 2009, held in Stuttgart, Germany from June 30 until July 3, 2009. The 35 papers presented together with 4 invited talks were carefully reviewed and selected from 70 submissions. The papers presented address topics on formal languages, automata theory, computability, complexity, logic, petri nets and related areas.
Rating:

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

Subjects
More like this

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: Print version:
Conference on Developments in Language Theory (13th : 2009 : Stuttgart, Germany).
Developments in language theory.
Berlin ; New York : Springer, ©2009
(OCoLC)422688772
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Volker Diekert; Dirk Nowotka
ISBN: 9783642027376 3642027377
OCLC Number: 432709516
Notes: International conference proceedings.
Description: 1 online resource (xiii, 501 pages) : illustrations.
Contents: Invited Talks --
Factorization Forests --
Weighted versus Probabilistic Logics --
Post Correspondence Problem and Small Dimensional Matrices --
Size Complexity of Two-Way Finite Automata --
Matrix Mortality and the?erný-Pin Conjecture --
Regular Papers --
A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata --
Regular Languages Definable by Majority Quantifiers with Two Variables --
The Inclusion Problem of Context-Free Languages: Some Tractable Cases --
On the Complexity of Deciding Avoidability of Sets of Partial Words --
Closures in Formal Languages and Kuratowski's Theorem --
Rich and Periodic-Like Words --
Traces of Control-Flow Graphs --
Left and Right Synchronous Relations --
An Extension of the Lyndon Schützenberger Result to Pseudoperiodic Words --
Asymptotic Cellular Complexity --
Strongly Regular Grammars and Regular Approximation of Context-Free Languages --
Powers of Regular Languages --
Existence and Nonexistence of Descriptive Patterns --
On Stateless Multihead Finite Automata and Multihead Pushdown Automata --
On Negative Bases --
Crucial Words for Abelian Powers --
Tight Bounds on the Descriptional Complexity of Regular Expressions --
Subshifts, Languages and Logic --
Magic Numbers and Ternary Alphabet --
The Pumping Lemma for Well-Nested Multiple Context-Free Languages --
The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable --
A Game-Theoretic Characterization of Boolean Grammars --
Word Equations with One Unknown --
On Equations over Sets of Numbers and Their Limitations --
Some Remarks on Superposition Based on Watson-Crick-Like Complementarity --
A Weighted?-Calculus on Words --
Branching-Time Temporal Logics with Minimal Model Quantifiers --
Simulations by Time-Bounded Counter Machines --
Weighted Timed MSO Logics --
Balanced Words Having Simple Burrows-Wheeler Transform --
On the Complexity of Hmelevskii's Theorem and Satisfiability of Three Unknown Equations --
Definability in the Infix Order on Words --
Two-Sided Bounds for the Growth Rates of Power-Free Languages --
On the Decidability of the Equivalence for a Certain Class of Transducers --
Erasing in Petri Net Languages and Matrix Grammars.
Series Title: Lecture notes in computer science, 5583.
Responsibility: Volker Diekert, Dirk Nowotka (eds.).

Abstract:

This book constitutes the proceedings of the 13th International Conference, DLT 2009, held in Stuttgart, Germany from June 30 until July 3, 2009. The 35 papers presented together with 4 invited talks were carefully reviewed and selected from 70 submissions. The papers presented address topics on formal languages, automata theory, computability, complexity, logic, petri nets and related areas.

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/432709516> # Developments in language theory : 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "432709516" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/900097585#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/900097585#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/900097585#Topic/formal_languages> ; # Formal languages
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/91094894> ; # Dirk Nowotka
    schema:contributor <http://viaf.org/viaf/2553823> ; # Volker Diekert
    schema:copyrightYear "2009" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/900097585#Meeting/conference_on_developments_in_language_theory_13th_2009_stuttgart_germany> ; # Conference on Developments in Language Theory (13th : 2009 : Stuttgart, Germany)
    schema:datePublished "2009" ;
    schema:description "This book constitutes the proceedings of the 13th International Conference, DLT 2009, held in Stuttgart, Germany from June 30 until July 3, 2009. The 35 papers presented together with 4 invited talks were carefully reviewed and selected from 70 submissions. The papers presented address topics on formal languages, automata theory, computability, complexity, logic, petri nets and related areas."@en ;
    schema:description "Invited Talks -- Factorization Forests -- Weighted versus Probabilistic Logics -- Post Correspondence Problem and Small Dimensional Matrices -- Size Complexity of Two-Way Finite Automata -- Matrix Mortality and the?erný-Pin Conjecture -- Regular Papers -- A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata -- Regular Languages Definable by Majority Quantifiers with Two Variables -- The Inclusion Problem of Context-Free Languages: Some Tractable Cases -- On the Complexity of Deciding Avoidability of Sets of Partial Words -- Closures in Formal Languages and Kuratowski's Theorem -- Rich and Periodic-Like Words -- Traces of Control-Flow Graphs -- Left and Right Synchronous Relations -- An Extension of the Lyndon Schützenberger Result to Pseudoperiodic Words -- Asymptotic Cellular Complexity -- Strongly Regular Grammars and Regular Approximation of Context-Free Languages -- Powers of Regular Languages -- Existence and Nonexistence of Descriptive Patterns -- On Stateless Multihead Finite Automata and Multihead Pushdown Automata -- On Negative Bases -- Crucial Words for Abelian Powers -- Tight Bounds on the Descriptional Complexity of Regular Expressions -- Subshifts, Languages and Logic -- Magic Numbers and Ternary Alphabet -- The Pumping Lemma for Well-Nested Multiple Context-Free Languages -- The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable -- A Game-Theoretic Characterization of Boolean Grammars -- Word Equations with One Unknown -- On Equations over Sets of Numbers and Their Limitations -- Some Remarks on Superposition Based on Watson-Crick-Like Complementarity -- A Weighted?-Calculus on Words -- Branching-Time Temporal Logics with Minimal Model Quantifiers -- Simulations by Time-Bounded Counter Machines -- Weighted Timed MSO Logics -- Balanced Words Having Simple Burrows-Wheeler Transform -- On the Complexity of Hmelevskii's Theorem and Satisfiability of Three Unknown Equations -- Definability in the Infix Order on Words -- Two-Sided Bounds for the Growth Rates of Power-Free Languages -- On the Decidability of the Equivalence for a Certain Class of Transducers -- Erasing in Petri Net Languages and Matrix Grammars."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/900097585> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/900097585#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/422688772> ;
    schema:name "Developments in language theory : 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings"@en ;
    schema:productID "432709516" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/432709516#PublicationEvent/berlin_new_york_springer_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/900097585#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/978-3-642-02737-6> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-02736-9> ;
    schema:url <http://link.springer.com/10.1007/978-3-642-02737-6> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3064331> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-3-642-02737-6> ;
    schema:url <http://site.ebrary.com/id/10313463> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-642-02736-9> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks0/springer/2010-02-11/3/9783642027376> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/978-3-642-02737-6> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-02737-6> ;
    schema:workExample <http://worldcat.org/isbn/9783642027376> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/432709516> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/900097585#Meeting/conference_on_developments_in_language_theory_13th_2009_stuttgart_germany> # Conference on Developments in Language Theory (13th : 2009 : Stuttgart, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/900097585#Place/stuttgart_germany> ; # Stuttgart, Germany)
    schema:name "Conference on Developments in Language Theory (13th : 2009 : Stuttgart, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/900097585#Place/stuttgart_germany> # Stuttgart, Germany)
    a schema:Place ;
    schema:name "Stuttgart, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/900097585#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/432709516> ; # Developments in language theory : 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
    schema:name "Formal languages"@en ;
    .

<http://viaf.org/viaf/2553823> # Volker Diekert
    a schema:Person ;
    schema:birthDate "1955" ;
    schema:familyName "Diekert" ;
    schema:givenName "Volker" ;
    schema:name "Volker Diekert" ;
    .

<http://viaf.org/viaf/91094894> # Dirk Nowotka
    a schema:Person ;
    schema:familyName "Nowotka" ;
    schema:givenName "Dirk" ;
    schema:name "Dirk Nowotka" ;
    .

<http://worldcat.org/isbn/9783642027376>
    a schema:ProductModel ;
    schema:isbn "3642027377" ;
    schema:isbn "9783642027376" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/432709516> ; # Developments in language theory : 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/422688772>
    a schema:CreativeWork ;
    rdfs:label "Developments in language theory." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/432709516> ; # Developments in language theory : 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings
    .

<http://www.worldcat.org/title/-/oclc/432709516>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/432709516> ; # Developments in language theory : 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings
    schema:dateModified "2018-07-17" ;
    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.