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
Database:WorldCat
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.- Three Learnable Models for the Description of Language.- Arbology: Trees and Pushdown Automata.- Analysis of Communicating Automata.- Regular Papers.- Complexity of the Satisfiability Problem for a Class of Propositional Schemata.- A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton.- A Fast Longest Common Subsequence Algorithm for Similar Strings.- Abelian Square-Free Partial Words.- Avoidable Binary Patterns in Partial Words.- Equivalence and Inclusion Problem for Strongly Unambiguous Buchi Automata.- Pregroup Grammars with Letter Promotions.- A Hierarchical Classification of First-Order Recurrent Neural Networks.- Choosing Word Occurrences for the Smallest Grammar Problem.- Agreement and Cliticization in Italian: A Pregroup Analysis.- Geometricity of Binary Regular Languages.- On the Expressive Power of FO[?+?].- Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach.- Operator Precedence and the Visibly Pushdown Property.- On the Maximal Number of Cubic Runs in a String.- On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT.- Parametric Metric Interval Temporal Logic.- Short Witnesses and Accepting Lassos in ?-Automata.- Grammar-Based Compression in a Streaming Model.- Simplifying Regular Expressions.- A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks.- The Inclusion Problem for Regular Expressions.- Learnability of Automatic Classes.- Untestable Properties Expressible with Four First-Order Quantifiers.- The Copying Power of Well-Nested Multiple Context-Free Grammars.- Post Correspondence Problem with Partially Commutative Alphabets.- Reversible Pushdown Automata.- String Extension Learning Using Lattices.- The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape.- Primitive Words Are Unavoidable for Context-Free Languages.- Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness.- Hard Counting Problems for Partial Words.- Exact Analysis of Horspool's and Sunday's Pattern Matching Algorithms with Probabilistic Arithmetic Automata.- SA-REPC - Sequence Alignment with Regular Expression Path Constraint.- CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages.- A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems.- Using Sums-of-Products for Non-standard Reasoning.- Restarting Automata with Structured Output and Functional Generative Description.- A Randomized Numerical Aligner (rNA).- Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data.- Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R).- Incremental Building in Peptide Computing to Solve Hamiltonian Path Problem.- Variable Automata over Infinite Alphabets.- Some Minimality Results on Biresidual and Biseparable Automata.- Extending Stochastic Context-Free Grammars for an Application in Bioinformatics.- Chomsky-Schutzenberger-Type Characterization of Multiple Context-Free Languages.- Complexity of Guided Insertion-Deletion in RNA-Editing.
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:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "649905991" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3859790583#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
    schema:about <http://experiment.worldcat.org/entity/work/data/3859790583#Topic/machine_theory> ; # Machine theory
    schema:about <http://id.worldcat.org/fast/1012082> ; # Mathematical linguistics
    schema:about <http://experiment.worldcat.org/entity/work/data/3859790583#Topic/formal_languages> ; # Formal languages
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:about <http://dewey.info/class/004/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3859790583#Topic/mathematical_linguistics> ; # Mathematical linguistics
    schema:bookEdition "1st ed." ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3859790583#Person/fernau_henning> ; # Henning Fernau
    schema:contributor <http://viaf.org/viaf/71437692> ; # Carlos Martín Vide
    schema:contributor <http://viaf.org/viaf/81793886> ; # Adrian Horia Dediu
    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 "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 papers and proceedings"@en ;
    schema:genre "Conference publication"@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/3859790583#Series/lncs_sublibrary> ; # LNCS sublibrary.
    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://site.ebrary.com/id/10389496> ;
    schema:workExample <http://worldcat.org/isbn/9783642130892> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/649905991> ;
    .


Related Entities

<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#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://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://viaf.org/viaf/71437692> # Carlos Martín Vide
    a schema:Person ;
    schema:familyName "Martín Vide" ;
    schema:givenName "Carlos" ;
    schema:name "Carlos Martín Vide" ;
    .

<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 "2016-11-10" ;
    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.