top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Language and automata theory and applications : third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 : proceedings / Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martin-Vide (eds.).
Language and automata theory and applications : third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 : proceedings / Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martin-Vide (eds.).
Creatore [LATA (Conference) (3rd : 2009 : Tarragona, Spain)]
Estensione 1 online resource (xv, 754 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Horia Dediu, Adrian
Mihai Ionescu, Armand
Martín Vide, Carlos
ISBN 9783642009822
3642009824
9783642009815
3642009816
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7955223
[LATA (Conference) (3rd : 2009 : Tarragona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Language and automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe (eds.).
Language and automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe (eds.).
Creatore [LATA (Conference) (7th : 2013 : Bilbao, Spain)]
Estensione 1 online resource (xiv, 580 pages) : illustrations.
Disciplina 004
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Truthe, Bianca
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Social sciences -- Data processing
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
ISBN 9783642370649
3642370640
9783642370632
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks. Complexity Dichotomy for Counting Problems / Jin-Yi Cai -- Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems / Kousha Etessami -- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking / Luke Ong -- Discrete Linear Dynamical Systems / Joël Ouaknine -- XML Schema Management: A Challenge for Automata Theory / Thomas Schwentick -- Regular Papers. On the Complexity of Shortest Path Problems on Discounted Cost Graphs / Rajeev Alur [and others] -- Termination of Rule-Based Calculi for Uniform Semi-Unification / Takahito Aoto, Munehiro Iwami -- Deciding WQO for Factorial Languages / Aistis Atminas, Vadim Lozin, Mikhail Moshkov -- On the Construction of a Family of Automata That Are Generically Non-minimal / Parisa Babaali, Christopher Knaplund -- Limited Non-determinism Hierarchy of Counter Automata / Sebastian Bala, Dariusz Jackowski -- Unambiguous Automata Denoting Finitely Sequential Functions / Sebastian Bala, Artur Koniński.
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks / Giorgio Delzanno, Riccardo Traverso -- The Buffered π-Calculus: A Model for Concurrent Languages / Xiaojie Deng [and others] -- Mix-Automatic Sequences / Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks -- A Multivariate Analysis of Some DFA Problems / Henning Fernau, Pinar Heggernes, Yngve Villanger -- On the Size Complexity of Deterministic Frequency Automata / Rūsiņš Freivalds, Thomas Zeugmann, Grant R. Pogosyan -- On the Number of Unbordered Factors / Daniel Goč, Hamoon Mousavi, Jeffrey Shallit -- Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences / Daniel Goč, Kalle Saari, Jeffrey Shallit -- Efficient Submatch Extraction for Practical Regular Expressions / Stuart Haber [and others] -- Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers / Kenji Hashimoto [and others].
Duplication-Loss Genome Alignment: Complexity and Algorithm / Billel Benzaid, Riccardo Dondi, Nadia El-Mabrouk -- Maximizing Entropy over Markov Processes / Fabrizio Biondi [and others] -- MAT Learning of Universal Automata / Johanna Björklund, Henning Fernau, Anna Kasprzik -- A Graph Polynomial Approach to Primitivity / Francine Blanchet-Sadri [and others] -- Suffix Trees for Partial Words and the Longest Common Compatible Prefix Problem / Francine Blanchet-Sadri, Justin Lazarow -- Dynamic Communicating Automata and Branching High-Level MSCs / Benedikt Bollig [and others] -- Visibly Pushdown Automata: Universality and Inclusion via Antichains / Véronique Bruyère, Marc Ducobu, Olivier Gauwin -- Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions / Jean-Marc Champarnaud [and others] -- How to Travel between Languages / Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin -- Execution Information Rate for Some Classes of Automata / Cewei Cui [and others].
Revealing vs. Concealing: More Simulation Games for Büchi Inclusion / Milka Hutagalung, Martin Lange, Etienne Lozes -- On Bounded Languages and Reversal-Bounded Automata / Oscar H. Ibarra, Bala Ravikumar -- Rewrite Closure and CF Hedge Automata / Florent Jacquemard, Michael Rusinowitch -- Linear-Time Version of Holub's Algorithm for Morphic Imprimitivity Testing / Tomasz Kociumaka [and others]́ -- From Regular Tree Expression to Position Tree Automaton / Éric Laugerotte, Nadia Ouali Sebti, Djelloul Ziadi -- Convergence of Newton's Method over Commutative Semirings / Michael Luttenberger, Maximilian Schlund -- Counting Minimal Symmetric Difference NFAs / Brink van der Merwe, Mark Farag, Jaco Geldenhuys -- Interval Logics and ωB-Regular Languages / Angelo Montanari, Pietro Sala -- Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars / Katsuhiko Nakamura, Keita Imada.
Asynchronous PC Systems of Pushdown Automata / Friedrich Otto -- Model Checking Metric Temporal Logic over Automata with One Counter / Karin Quaas -- Coinductive Proof Techniques for Language Equivalence / Jurriaan Rot, Marcello Bonsangue, Jan Rutten -- Ostrowski Numeration and the Local Period of Sturmian Words / Luke Schaeffer -- Boolean Algebras of Regular ω-Languages / Victor Selivanov, Anton Konovalov -- Pumping, Shrinking and Pronouns: From Context Free to Indexed Grammars / Eli Shamir -- Online Matching of Multiple Regular Patterns with Gaps and Character Classes / Seppo Sippu, Eljas Soisalon-Soininen -- Infiniteness and Boundedness in 0L, DT0L, and T0L Systems / Tim Smith -- Uniformisation of Two-Way Transducers / Rodrigo de Souza -- A Conditional Superpolynomial Lower Bound for Extended Resolution / Olga Tveretina -- A Turing Machine Distance Hierarchy / Stanislav Žák, Jiří Šíma.
Record Nr. NYU-004628180
[LATA (Conference) (7th : 2013 : Bilbao, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Language and automata theory and applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / Frank Drewes, Carlos Martín-Vide, Bianca Truthe (eds.).
Language and automata theory and applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / Frank Drewes, Carlos Martín-Vide, Bianca Truthe (eds.).
Creatore [LATA (Conference) (11th : 2017 : Umeå, Sweden)]
Estensione 1 online resource (xxiii, 462 pages) : illustrations.
Disciplina 006.3
Accesso persona Drewes, Frank, editor
Martín Vide, Carlos, editor
Truthe, Bianca, editor
ISBN 9783319537337
3319537334
9783319537320
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7791833
[LATA (Conference) (11th : 2017 : Umeå, Sweden)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Language and automata theory and applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.).
Language and automata theory and applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.).
Creatore [LATA (Conference) (9th : 2015 : Nice, France)]
Estensione 1 online resource (xv, 754 pages) : illustrations.
Accesso persona Horia Dediu, Adrian, editor
Formenti, Enrico, 1968-editor
Martín Vide, Carlos, editor
Truthe, Bianca, editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319155791
3319155792
3319155784
9783319155784
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching, and Model Checking -- Graphs, Term Rewriting, and Networks -- Transducers, Tree Automata, and Weighted Automata.
Record Nr. UCHICAGO-11092092
[LATA (Conference) (9th : 2015 : Nice, France)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe (eds.).
Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe (eds.).
Creatore [LATA (Conference) (8th : 2014 : Madrid, Spain)]
Estensione 1 online resource (xiv, 614 pages) : illustrations.
Accesso persona Horia Dediu, Adrian, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
ISBN 9783319049212
3319049216
3319049208
9783319049205
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11084629
[LATA (Conference) (8th : 2014 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Language and automata theory and applications : second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, revised papers / Carlos Martín-Vide, Friedrich Otto, Henning Fernau (eds.).
Language and automata theory and applications : second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, revised papers / Carlos Martín-Vide, Friedrich Otto, Henning Fernau (eds.).
Creatore [LATA (Conference) (2nd : 2008 : Tarragona, Spain)]
Estensione 1 online resource.
Accesso persona Martín Vide, Carlos
Otto, Friedrich
Fernau, Henning, 1965-
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540882824
3540882820
9783540882817
3540882812
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11070224
[LATA (Conference) (2nd : 2008 : Tarragona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Language and automata theory and applications [electronic resource] : second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 : revised papers / Carlos Martin-Vide, Friedrich Otto, Henning Fernau (eds.).
Language and automata theory and applications [electronic resource] : second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 : revised papers / Carlos Martin-Vide, Friedrich Otto, Henning Fernau (eds.).
Creatore [LATA 2008 (2008 : Tarragona, Spain)]
Estensione xiv, 500 p. : ill.
Accesso persona Fernau, Henning, 1965-
Martín Vide, Carlos
Otto, Friedrich
Accesso ente ProQuest (Firm)
ISBN 3540882812
9783540882817
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a12477400
[LATA 2008 (2008 : Tarragona, Spain)]  
Risorse elettroniche
Lo trovi qui: Stanford University
Language and automata theory and applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Language and automata theory and applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Creatore [LATA (Conference) (6th : 2012 : La Coruña, Spain)]
Estensione 1 online resource (xiv, 552 p.)
Disciplina 004
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Computer Appl. in Social and Behavioral Sciences
ISBN 9783642283321 (electronic bk.)
3642283322 (electronic bk.)
9783642283314
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960092783503681
[LATA (Conference) (6th : 2012 : La Coruña, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe (eds.).
Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe (eds.).
Creatore [LATA (Conference) (8th : 2014 : Madrid, Spain)]
Estensione 1 online resource (xiv, 614 pages) : illustrations.
Disciplina 004
Accesso persona Horia Dediu, Adrian, editor
Accesso convegno LATA (Conference)
ISBN 9783319049212 (electronic bk.)
3319049216 (electronic bk.)
3319049208
9783319049205
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-6597063
[LATA (Conference) (8th : 2014 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe (eds.).
Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe (eds.).
Creatore [LATA (Conference) (8th : 2014 : Madrid, Spain)]
Estensione 1 online resource (xiv, 614 pages) : illustrations.
Disciplina 004
Accesso persona Horia Dediu, Adrian, editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319049212
3319049216
3319049208
9783319049205
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004445096
[LATA (Conference) (8th : 2014 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: New York University