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 : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011, proceedings / Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide (eds.).
Language and automata theory and applications : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011, proceedings / Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide (eds.).
Creatore [LATA (Conference) (5th : 2011 : Tarragona, Spain)]
Estensione 1 online resource (xiii, 512 pages).
Disciplina 004
Accesso persona Horia Dediu, Adrian
Inenaga, Shunsuke
Martín Vide, Carlos
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642212543
3642212549
9783642212536
3642212530
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006177601
[LATA (Conference) (5th : 2011 : Tarragona, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
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.
Disciplina 006.3/1
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
Nota di contenuto Invited Papers -- Tree-Walking Automata -- Formal Language Tools for Template-Guided DNA Recombination -- Subsequence Counting, Matrix Representations and a Theorem of Eilenberg -- Synchronizing Automata and the ?erný Conjecture -- Contributed Papers -- About Universal Hybrid Networks of Evolutionary Processors of Small Size -- On Bifix Systems and Generalizations -- Finite Automata, Palindromes, Powers, and Patterns -- One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations -- The Three-Color and Two-Color TantrixTM Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions -- Optional and Iterated Types for Pregroup Grammars -- Transformations and Preservation of Self-assembly Dynamics through Homotheties -- Deterministic Input-Reversal and Input-Revolving Finite Automata -- Random Context in Regulated Rewriting Versus Cooperating Distributed Grammar Systems -- Extending the Overlap Graph for Gene Assembly in Ciliates -- Automatic Presentations for Cancellative Semigroups -- Induced Subshifts and Cellular Automata -- Hopcroft’s Algorithm and Cyclic Automata -- Efficient Inclusion Checking for Deterministic Tree Automata and DTDs -- Consensual Definition of Languages by Regular Sets -- k-Petri Net Controlled Grammars -- 2-Synchronizing Words -- Not So Many Runs in Strings -- A Hybrid Approach to Word Segmentation of Vietnamese Texts -- On Linear Logic Planning and Concurrency -- On the Relation between Multicomponent Tree Adjoining Grammars with Tree Tuples (TT-MCTAG) and Range Concatenation Grammars (RCG) -- Anti-pattern Matching Modulo -- Counting Ordered Patterns in Words Generated by Morphisms -- Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups -- Characterization of Star-Connected Languages Using Finite Automata -- Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems -- Further Results on Insertion-Deletion Systems with One-Sided Contexts -- On Regularity-Preservation by String-Rewriting Systems -- Minimizing Deterministic Weighted Tree Automata -- Lower Bounds for Generalized Quantum Finite Automata -- How Many Figure Sets Are Codes? -- On Alternating Phrase-Structure Grammars -- A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata -- Minimalist Grammars with Unbounded Scrambling and Nondiscriminating Barriers Are NP-Hard -- Sorting and Element Distinctness on One-Way Turing Machines -- On Periodicity of Generalized Two-Dimensional Words -- On the Analysis of “Simple” 2D Stochastic Cellular Automata -- Polycyclic and Bicyclic Valence Automata -- Length Codes, Products of Languages and Primality -- An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs.
Record Nr. NYU-004611630
[LATA (Conference) (2nd : 2008 : Tarragona, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Language and automata theory and applications [electronic resource] : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011, proceedings / Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide (eds.).
Language and automata theory and applications [electronic resource] : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011, proceedings / Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide (eds.).
Creatore [LATA 2011 (2011 : Tarragona, Spain)]
Estensione xiii, 512 p.
Disciplina 004
Accesso persona Horia Dediu, Adrian
Inenaga, Shunsuke
Martín Vide, Carlos
ISBN 3642212549 (electronic bk.)
9783642212543 (electronic bk.)
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-5318761
[LATA 2011 (2011 : Tarragona, Spain)]  
Risorse elettroniche
Lo trovi qui: University of Alberta / NEOS Library Consortium