skip to content
Language and automata theory and applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings Preview this item
ClosePreview this item
Checking...

Language and automata theory and applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings

Author: Adrian Horia Dediu; Henning Fernau; Carlos Martín Vide
Publisher: Berlin : Springer, 2010.
Series: Lecture notes in computer science, 6031.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : English : 1st edView all editions and formats
Summary:
This book constitutes the proceedings of the 4th International Conference, LATA 2010, held in May 2010 in Trier, Germany. The 47 full papers presented were carefully selected from 115 submissions and focus on topics such as algebraic language theory, algorithmic learning, bioinformatics, computational biology, pattern recognition, program verification, term rewriting and tree machines.
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: Print version:
LATA (4th International Conference : 2010 : Trier, Germany).
Language and automata theory and applications.
Berlin : Springer, 2010
(DLC) 2010926873
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Adrian Horia Dediu; Henning Fernau; Carlos Martín Vide
ISBN: 9783642130892 3642130895
OCLC Number: 649905991
Description: 1 online resource (xiv, 622 pages) : illustrations (some color).
Contents: Invited talks: Complexity in convex languages / Janusz Brzozowski --
Three learnable models for the description of language / Alexander Clark --
Arbology : trees and pushdown automata / Bořivoj Melichar --
Analysis of communicating automata / Anca Muscholl --
Regular papers: Complexity of the satisfiability problem for a class of propositional schemata / Vincent Aravantinos, Ricardo Caferra, and Nicolas Peltier --
A simple n-dimensional intrinsically universal quantum cellular automation / Pablo Arrighi and Jonathan Grattage --
A fast longest common subsequence algorithm for similar strings / Abdullah N. Arslan --
Abelian square-free partial words / Francine Blanchet-Sadri, Jane I. Kim, Robert Merca̧s, William Severa, and Sean Simmons --
Avoidable binary patterns in partial words / Francine Blanchet-Sadri, Robert Merca̧s, Sean Simmons, and Eric Weissenstein --
Equivalence and inclusion problem for strongly unambiguous Büchi automata / Nicolas Bousquet and Christof Löding --
Pregroup grammars with letter promotions / Wojciech Buszkowski and Zhe Lin --
A hierarchical classification of first-order recurrent neural networks / Jérémie Cabessa and Alessandro E.P. Villa --
Choosing word occurrences for the smallest grammar problem / Rafael Carrascosa, François Coste, Matthias Gallé, and Gabriel Infante-Lopez --
Agreement and cliticization in Italian : a pregroup analysis / Claudia Casadio --
Geometricity of binary regular languages / Jean-Marc Champarnaud, Jean-Philippe Dubernard, and Hadrien Jeanne --
On the expressive power of FO[+] / Christian Choffrut, Andreas Malcher, Carlo Mereghetti, and Beatrice Palano --
Finding consistent categorial grammars of bounded value : a parameterized approach / Christophe Costa Florêncio and Henning Fernau --
Operator precedence and the visibly pushdown property / Stefano Crespi Reghizzi and Dino Mandrioli --
On the maximal number of cubic runs in a string / Maxime Crochemore, Costas Iliopoulos, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, and Tomasz Waleń --
On the Hamiltonian operators for adiabatic quantum reduction of SAT / William Cruz-Santos and Guillermo Morales-Luna --
Parametric metric interval temporal logic / Barbara Di Giampaolo, Salvatore La Torre, and Margherita Napoli --
Short witnesses and accepting lassos in omega-automata / Rüdiger Ehlers --
Grammar-based compression in a streaming model / Travis Gagie and Pawel Gawrychowski --
Simplifying regular expressions : a quantitative perspective / Hermann Gruber and Stefan Gulan --
A programming language tailored to the specification and solution of differential equations describing processes on networks / Reinhard Hemmerling, Katarína Smoleňová, and Winfried Kurth --
The inclusion problem for regular expressions / Dag Hovland --
Learnability of automatic classes / Sanjay Jain, Qinglong Luo, and Frank Stephan --
Untestable properties expressible with four first-order quantifiers / Charles Jordan and Thomas Zeugmann --
The copying power of well-nested multiple context-free grammars / Makoto Kanazawa and Sylvain Salvati --
Post correspondence problem with partially commutative alphabets / Barbara Klunder and Wojciech Rytter --
Reversible pushdown automata / Martin Kutrib and Andreas Malcher --
String extension learning using lattices / Anna Kasprzik and Timo Kötzing --
The equivalence problem of deterministic multitape finite automata : a new proof of solvability using a multidimensional tape / Alexander A. Letichevsky, Arsen S. Shoukourian, and Samvel K. Shoukourian --
Primitive words are unavoidable for context-free languages / Peter Leupold --
Modal Nonassociative Lambek Calculus with assumptions : complexity and context-freeness / Zhe Lin --
Hard counting problems for partial words / Florin Manea and Cǎtǎlin Tiseanu --
Exact analysis of Horspool's and Sunday's pattern matching algorithms with probabilistic arithmetic automata / Tobias Marschall and Sven Rahmann --
SA-REPC : Sequence Alignment with Regular Expression Path constraint / Nimrod Milo, Tamar Pinhas, and Michal Ziv-Ukelson --
CD-systems of stateless deterministic R(1)-automata accept all rational trace languages / Benedek Nagy and Friedrich Otto --
A boundary between universality and non-universality in extended spiking neural P systems / Turlough Neary --
Using sums-of-products for non-standard reasoning / Rafael Peñaloza --
Restarting automata with structured output and functional generative description / Martin Plátek, František Mráz, and Markéta Lopatková --
A randomized Numerical Aligner (rNA) / Alberto Policriti, Alexandru I. Tomescu, and Francesco Vezzi --
Language-based comparison of Petri nets with black tokens, pure names and ordered data / Fernando Rosa-Velardo and Giorgio Delzanno --
Verifying complex continuous real-time systems with coinductive CLP(R) / Neda Saeedloei and Gopal Gupta --
Incremental building in peptide computing to solve Hamiltonian path problem / Muthiah Sakthi Balan and Parameswaran Seshan --
Variable automata over infinite alphabets / Orna Grumberg, Orna Kupferman, and Sarai Sheinvald --
Some minimality results on biresidual and biseparable automata / Hellis Tamm --
Extending stochastic context-free grammars for an application in bioinformatics / Frank Weinberg and Markus E. Nebel --
Chomsky-Schützenberger-type characterization of multiple context-free languages / Ryo Yoshinaka, Yuichi Kaji, and Hiroyuki Seki --
Complexity of guided insertion-deletion in RNA-editing / Hans Zantema
Series Title: Lecture notes in computer science, 6031.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Responsibility: Adrian Horia Dediu, Henning Fernau, Carlos Martín-Vide (eds.).

Abstract:

Constitutes the proceedings of the 4th International Conference, LATA 2010, held in May 2010 in Trier, Germany.  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/649905991> # Language and automata theory and applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "649905991" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3859790583#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/3859790583#Topic/linguistics> ; # Linguistics
    schema:about <http://experiment.worldcat.org/entity/work/data/3859790583#Topic/machine_theory> ; # Machine theory
    schema:about <http://dewey.info/class/004/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3859790583#Topic/programming_languages> ; # Programming Languages
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/3859790583#Topic/artificial_intelligence> ; # Artificial Intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/3859790583#Topic/mathematical_linguistics> ; # Mathematical linguistics
    schema:about <http://experiment.worldcat.org/entity/work/data/3859790583#Topic/formal_languages> ; # Formal languages
    schema:about <http://id.worldcat.org/fast/1012082> ; # Mathematical linguistics
    schema:about <http://experiment.worldcat.org/entity/work/data/3859790583#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
    schema:bookEdition "1st ed." ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/81793886> ; # Adrian Horia Dediu
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3859790583#Person/fernau_henning> ; # Henning Fernau
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3859790583#Person/martin_vide_carlos> ; # Carlos Martín Vide
    schema:creator <http://experiment.worldcat.org/entity/work/data/3859790583#Meeting/lata_4th_international_conference_2010_trier_germany> ; # LATA (4th International Conference : 2010 : Trier, Germany)
    schema:datePublished "2010" ;
    schema:description "Invited talks: Complexity in convex languages / Janusz Brzozowski -- Three learnable models for the description of language / Alexander Clark -- Arbology : trees and pushdown automata / Bořivoj Melichar -- Analysis of communicating automata / Anca Muscholl -- Regular papers: Complexity of the satisfiability problem for a class of propositional schemata / Vincent Aravantinos, Ricardo Caferra, and Nicolas Peltier -- A simple n-dimensional intrinsically universal quantum cellular automation / Pablo Arrighi and Jonathan Grattage -- A fast longest common subsequence algorithm for similar strings / Abdullah N. Arslan -- Abelian square-free partial words / Francine Blanchet-Sadri, Jane I. Kim, Robert Merca̧s, William Severa, and Sean Simmons -- Avoidable binary patterns in partial words / Francine Blanchet-Sadri, Robert Merca̧s, Sean Simmons, and Eric Weissenstein -- Equivalence and inclusion problem for strongly unambiguous Büchi automata / Nicolas Bousquet and Christof Löding -- Pregroup grammars with letter promotions / Wojciech Buszkowski and Zhe Lin -- A hierarchical classification of first-order recurrent neural networks / Jérémie Cabessa and Alessandro E.P. Villa -- Choosing word occurrences for the smallest grammar problem / Rafael Carrascosa, François Coste, Matthias Gallé, and Gabriel Infante-Lopez -- Agreement and cliticization in Italian : a pregroup analysis / Claudia Casadio -- Geometricity of binary regular languages / Jean-Marc Champarnaud, Jean-Philippe Dubernard, and Hadrien Jeanne -- On the expressive power of FO[+] / Christian Choffrut, Andreas Malcher, Carlo Mereghetti, and Beatrice Palano -- Finding consistent categorial grammars of bounded value : a parameterized approach / Christophe Costa Florêncio and Henning Fernau -- Operator precedence and the visibly pushdown property / Stefano Crespi Reghizzi and Dino Mandrioli -- On the maximal number of cubic runs in a string / Maxime Crochemore, Costas Iliopoulos, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, and Tomasz Waleń -- On the Hamiltonian operators for adiabatic quantum reduction of SAT / William Cruz-Santos and Guillermo Morales-Luna -- Parametric metric interval temporal logic / Barbara Di Giampaolo, Salvatore La Torre, and Margherita Napoli -- Short witnesses and accepting lassos in omega-automata / Rüdiger Ehlers -- Grammar-based compression in a streaming model / Travis Gagie and Pawel Gawrychowski -- Simplifying regular expressions : a quantitative perspective / Hermann Gruber and Stefan Gulan -- A programming language tailored to the specification and solution of differential equations describing processes on networks / Reinhard Hemmerling, Katarína Smoleňová, and Winfried Kurth -- The inclusion problem for regular expressions / Dag Hovland -- Learnability of automatic classes / Sanjay Jain, Qinglong Luo, and Frank Stephan -- Untestable properties expressible with four first-order quantifiers / Charles Jordan and Thomas Zeugmann -- The copying power of well-nested multiple context-free grammars / Makoto Kanazawa and Sylvain Salvati -- Post correspondence problem with partially commutative alphabets / Barbara Klunder and Wojciech Rytter -- Reversible pushdown automata / Martin Kutrib and Andreas Malcher -- String extension learning using lattices / Anna Kasprzik and Timo Kötzing -- The equivalence problem of deterministic multitape finite automata : a new proof of solvability using a multidimensional tape / Alexander A. Letichevsky, Arsen S. Shoukourian, and Samvel K. Shoukourian -- Primitive words are unavoidable for context-free languages / Peter Leupold -- Modal Nonassociative Lambek Calculus with assumptions : complexity and context-freeness / Zhe Lin -- Hard counting problems for partial words / Florin Manea and Cǎtǎlin Tiseanu -- Exact analysis of Horspool's and Sunday's pattern matching algorithms with probabilistic arithmetic automata / Tobias Marschall and Sven Rahmann -- SA-REPC : Sequence Alignment with Regular Expression Path constraint / Nimrod Milo, Tamar Pinhas, and Michal Ziv-Ukelson -- CD-systems of stateless deterministic R(1)-automata accept all rational trace languages / Benedek Nagy and Friedrich Otto -- A boundary between universality and non-universality in extended spiking neural P systems / Turlough Neary -- Using sums-of-products for non-standard reasoning / Rafael Peñaloza -- Restarting automata with structured output and functional generative description / Martin Plátek, František Mráz, and Markéta Lopatková -- A randomized Numerical Aligner (rNA) / Alberto Policriti, Alexandru I. Tomescu, and Francesco Vezzi -- Language-based comparison of Petri nets with black tokens, pure names and ordered data / Fernando Rosa-Velardo and Giorgio Delzanno -- Verifying complex continuous real-time systems with coinductive CLP(R) / Neda Saeedloei and Gopal Gupta -- Incremental building in peptide computing to solve Hamiltonian path problem / Muthiah Sakthi Balan and Parameswaran Seshan -- Variable automata over infinite alphabets / Orna Grumberg, Orna Kupferman, and Sarai Sheinvald -- Some minimality results on biresidual and biseparable automata / Hellis Tamm -- Extending stochastic context-free grammars for an application in bioinformatics / Frank Weinberg and Markus E. Nebel -- Chomsky-Schützenberger-type characterization of multiple context-free languages / Ryo Yoshinaka, Yuichi Kaji, and Hiroyuki Seki -- Complexity of guided insertion-deletion in RNA-editing / Hans Zantema"@en ;
    schema:description "This book constitutes the proceedings of the 4th International Conference, LATA 2010, held in May 2010 in Trier, Germany. The 47 full papers presented were carefully selected from 115 submissions and focus on topics such as algebraic language theory, algorithmic learning, bioinformatics, computational biology, pattern recognition, program verification, term rewriting and tree machines."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3859790583> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Congresses"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3859790583#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3859790583#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isSimilarTo <http://worldcat.org/entity/work/data/3859790583#CreativeWork/language_and_automata_theory_and_applications> ;
    schema:name "Language and automata theory and applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings"@en ;
    schema:productID "649905991" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/649905991#PublicationEvent/berlin_springer_2010> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3859790583#Agent/springer> ; # Springer
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3065260> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-13089-2> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://dx.doi.org/10.1007/978-3-642-13089-2> ;
    schema:url <http://site.ebrary.com/id/10389496> ;
    schema:url <http://link.springer.com/10.1007/978-3-642-13089-2> ;
    schema:workExample <http://worldcat.org/isbn/9783642130892> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/649905991> ;
    .


Related Entities

<http://dx.doi.org/10.1007/978-3-642-13089-2>
    rdfs:comment "Rutgers restricted" ;
    rdfs:comment "Full text available from Springer" ;
    .

<http://experiment.worldcat.org/entity/work/data/3859790583#Meeting/lata_4th_international_conference_2010_trier_germany> # LATA (4th International Conference : 2010 : Trier, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3859790583#Place/trier_germany> ; # Trier, Germany)
    schema:name "LATA (4th International Conference : 2010 : Trier, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3859790583#Person/fernau_henning> # Henning Fernau
    a schema:Person ;
    schema:familyName "Fernau" ;
    schema:givenName "Henning" ;
    schema:name "Henning Fernau" ;
    .

<http://experiment.worldcat.org/entity/work/data/3859790583#Person/martin_vide_carlos> # Carlos Martín Vide
    a schema:Person ;
    schema:familyName "Martín Vide" ;
    schema:givenName "Carlos" ;
    schema:name "Carlos Martín Vide" ;
    .

<http://experiment.worldcat.org/entity/work/data/3859790583#Place/trier_germany> # Trier, Germany)
    a schema:Place ;
    schema:name "Trier, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3859790583#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/649905991> ; # Language and automata theory and applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/3859790583#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/649905991> ; # Language and automata theory and applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/3859790583#Topic/programming_languages> # Programming Languages
    a schema:Intangible ;
    schema:name "Programming Languages"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
    schema:name "Machine theory"@en ;
    .

<http://id.worldcat.org/fast/1012082> # Mathematical linguistics
    a schema:Intangible ;
    schema:name "Mathematical linguistics"@en ;
    .

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

<http://link.springer.com/10.1007/978-3-642-13089-2>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/81793886> # Adrian Horia Dediu
    a schema:Person ;
    schema:familyName "Horia Dediu" ;
    schema:givenName "Adrian" ;
    schema:name "Adrian Horia Dediu" ;
    .

<http://worldcat.org/entity/work/data/3859790583#CreativeWork/language_and_automata_theory_and_applications>
    a schema:CreativeWork ;
    rdfs:label "Language and automata theory and applications." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/649905991> ; # Language and automata theory and applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
    .

<http://worldcat.org/isbn/9783642130892>
    a schema:ProductModel ;
    schema:isbn "3642130895" ;
    schema:isbn "9783642130892" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/649905991> ; # Language and automata theory and applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/649905991>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/649905991> ; # Language and automata theory and applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
    schema:dateModified "2017-11-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.