SHARE Virtual Discovery Environment

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.

Export / Download (0)

Esporta in PDF
Esporta in Excel
Esporta in HTML
Esporta in Marc21 (binary)
Esporta in MARC XML
Export in Marc21 (text)
Invia tramite E-Mail

Biblioteca

New York University (19)
University of Alberta / NEOS Library Consortium (12)
Stanford University (11)
University of Chicago (10)
University of Pennsylvania (4)
Duke University (3)

Tutto
+

MARC Lista (tabellare) Raggruppa

Seleziona tutti

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.).

[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 Martín-Vide, Bianca Truthe (eds.).

[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.).

[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 Martín-Vide, Bianca Truthe (eds.).

[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 Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe (eds.).

[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 Martín-Vide, Friedrich Otto, Henning Fernau (eds.).

[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.).

[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 Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).

[LATA (Conference) (6th : 2012 : La Coruñ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.).

[LATA (Conference) (8th : 2014 : Madrid, Spain)]

Materiale a stampa

Lo trovi qui: University of Alberta / NEOS Library Consortium

[LATA (Conference) (8th : 2014 : Madrid, Spain)]

Materiale a stampa

Lo trovi qui: New York University

1 2 3 4 5 6

Formato

Materiale a stampa (56)
Risorse elettroniche (3)

Livello bibliografico

Monografie (59)

Data

Data di pubblicazione

2009 (7)
2008 (6)
2011 (6)
2013 (6)
2014 (6)
2012 (5)
2015 (5)
2010 (4)
2016 (4)
2017 (3)
2020 (3)

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

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 / Joë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 Koniń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 / Jö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 / Rūsiņš Freivalds, Thomas Zeugmann, Grant R. Pogosyan -- On the Number of Unbordered Factors / Daniel Goč, Hamoon Mousavi, Jeffrey Shallit -- Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences / Daniel Goč, 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 Bjö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 / Véronique Bruyè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 Bü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 / É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 Žák, Jiří Šíma.
Record Nr.	NYU-004628180

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

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 Martí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

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