Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ferdinando Cicalese, Zsuzsanna Lipták, Massimiliano Rossi 0001 |
Bubble-Flip - A New Generation Algorithm for Prefix Normal Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 207-219, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eli Shamir 0001 |
Reshaping the Context-Free Model: Linguistic and Algorithmic Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 60-67, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux |
Pomsets and Unfolding of Reset Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 258-270, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Murray Elder, Yoong Kuan Goh |
Permutations Sorted by a Finite and an Infinite Stack in Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 220-231, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | J. Andres Montoya, Christian Nolasco |
On the Synchronization of Planar Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 93-104, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Markus Saers, Dekai Wu |
Handling Ties Correctly and Efficiently in Viterbi Training Using the Viterbi Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 284-295, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Demen Güler, Andreas Krebs, Klaus-Jörn Lange, Petra Wolf 0002 |
Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 156-168, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager |
Model Learning as a Satisfiability Modulo Theories Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 182-194, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
Timed Comparisons of Semi-Markov Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 271-283, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira (eds.) |
Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![Springer, 978-3-319-77312-4 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Moses Ganardi, Danny Hucke, Markus Lohrey |
Sliding Window Algorithms for Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 26-35, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maris Valdats |
Descriptional and Computational Complexity of the Circuit Representation of Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 105-117, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Aniello Murano, Adriano Peron |
Event-Clock Nested Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 80-92, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Teichmann, Antoine Venant, Alexander Koller |
Efficient Translation with Linear Bimorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 308-320, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Jain 0001, Shao Ning Kuek, Eric Martin 0002, Frank Stephan 0001 |
Learners Based on Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 169-181, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrei A. Bulatov |
Constraint Satisfaction Problems: Complexity and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 1-25, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Irina Schindler |
Default Logic and Bounded Treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 130-142, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexey N. Zhirabok, Alexey Ye. Shumsky |
Disturbance Decoupling in Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 118-129, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Berdinsky, Phongpitak Trakuldit |
Measuring Closeness Between Cayley Automatic Groups and Automatic Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 245-257, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Haiming Chen, Ping Lu 0007 |
Derivatives and Finite Automata of Expressions in Star Normal Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 236-248, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis |
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 3-26, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Janusz A. Brzozowski, Corwin Sinnamon |
Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 171-182, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johanna Björklund, Loek Cleophas |
Minimization of Finite State Automata Through Partition Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 223-235, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hellis Tamm, Brink van der Merwe |
Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 261-272, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yo-Sub Han, Sang-Ki Ko, Timothy Ng 0001, Kai Salomaa |
Consensus String Problem for Multiple Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 196-207, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Henk Don, Hans Zantema |
Finding DFAs with Maximal Shortest Synchronizing Word Length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 249-260, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas |
N-Memory Automata over the Alphabet N. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 91-102, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Costas S. Iliopoulos, Ritu Kundu, Solon P. Pissis |
Efficient Pattern Matching in Elastic-Degenerate Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 131-142, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Gerdjikov, Stoyan Mihov |
Over Which Monoids is the Transducer Determinization Procedure Applicable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 380-392, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mark-Jan Nederhof, Anssi Yli-Jyrä |
A Derivational Model of Discontinuous Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 299-310, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer |
On the Complexity of Hard Enumeration Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 183-195, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte, Massimo Merro |
A Calculus of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 115-127, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Síma, Petr Savický |
Cut Languages in Rational Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 311-322, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nariyoshi Chida, Kimio Kuramitsu |
Linear Parsing Expression Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 275-286, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Ivan Lanese |
Most General Property-Preserving Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 367-379, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![, 978-3-319-53732-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan |
On Finite-Index Indexed Grammars and Their Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 287-298, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adam Jardine, Kevin McMullin |
Efficient Learning of Tier-Based Strictly k-Local Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 64-76, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Gärtner, Ahad N. Zehmakan |
Color War: Cellular Automata with Majority-Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 393-404, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dusan Knop |
Partitioning Graphs into Induced Subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 338-350, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manasi S. Kulkarni, Kalpana Mahalingam |
Two-Dimensional Palindromes and Their Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 155-167, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel T. Klein, Dana Shapira |
Integrated Encryption in Dynamic Arithmetic Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 143-154, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Kanazawa, Ryo Yoshinaka |
The Strong, Weak, and Very Weak Finite Context and Kernel Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 77-88, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chunmiao Li, Xiaojuan Cai |
Hardness Results for Coverability Problem of Well-Structured Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 435-446, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Pommellet, Marcio Diaz, Tayssir Touili |
Reachability Analysis of Pushdown Systems with an Upper Stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 447-459, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Georg Gottlob, Christoph Koch 0001, Andreas Pieris |
Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 27-47, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lisa Hutschenreiter, Rafael Peñaloza |
An Automata View to Goal-Directed Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 103-114, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann |
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 51-63, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Casu, G. Michele Pinna |
Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 325-337, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vidhya Ramaswamy, Jayalal Sarma, K. S. Sunil |
Space Complexity of Reachability Testing in Labelled Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 351-363, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz |
On the Computational Power of Affine Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 405-417, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dick Grune, Wan J. Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers |
Detecting Useless Transitions in Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 421-434, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Schmidt 0001 |
The Weight in Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 208-219, 2017, 978-3-319-53732-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dana Fisman |
A Complexity Measure on Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 102-113, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Labai, Johann A. Makowsky |
Hankel Matrices for Weighted Visibly Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 464-477, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Blondin Massé, Mélodie Lapointe, Hugo Tremblay |
Parallelogram Morphisms and Circular Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 221-232, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Séverine Fratani, El Makki Voundy |
Homomorphic Characterizations of Indexed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 359-370, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han |
Inferring a Relax NG Schema from XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 400-411, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Holger Bock Axelsen, Markus Holzer 0001, Martin Kutrib, Andreas Malcher |
Reversible Shrinking Two-Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 579-591, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vahid Hashemi, Holger Hermanns, Lei Song 0001, K. Subramani 0001, Andrea Turrini, Piotr Wojciechowski 0002 |
Compositional Bisimulation Minimization for Interval Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 114-126, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rick Smetsers, Joshua Moerman, David N. Jansen |
Minimal Separating Sequences for All Pairs of States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 181-193, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kazuyuki Amano |
On XOR Lemma for Polynomial Threshold Weight and Length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 259-269, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kunihiro Wasa, Katsuhisa Yamanaka, Hiroki Arimura |
The Complexity of Induced Tree Reconfiguration Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 330-342, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ananda Chandra Nayak, Amit Kumar Srivastava |
On Del-Robust Primitive Partial Words with One Hole. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 233-244, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
Proof-Based Synthesis of Sorting Algorithms for Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 562-575, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez 0001, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas |
Non-Zero Sum Games for Reactive Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 3-23, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Istrate, Cosmin Bonchis, Liviu P. Dinu |
The Minimum Entropy Submodular Set Cover Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 295-306, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tatiana Baginová Jajcayová |
The Word Problem for HNN-extensions of Free Inverse Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 506-517, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Input-Driven Queue Automata with Internal Transductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 156-167, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Kanazawa |
Ogden's Lemma, Multiple Context-Free Grammars, and the Control Language Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 371-383, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Droste, Zoltán Fülöp 0001, Doreen Götze |
A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 452-463, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Holger Spakowski |
On Limited Nondeterminism and ACC Circuit Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 320-329, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Frank Wolter |
Automata for Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 57-60, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Osterholzer, Toni Dietze, Luisa Herrmann 0001 |
Linear Context-Free Tree Languages and Inverse Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 478-489, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pighizzini |
Restricted Turing Machines and Language Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 42-56, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Björklund, Frank Drewes, Petter Ericson |
Between a Rock and a Hard Place - Uniform Parsing for Hyperedge Replacement DAG Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 521-532, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
Canonical Multi-target Toffoli Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 603-616, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi 0001 |
A Logical Characterization for Dense-Time Visibly Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 89-101, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Parvaneh Babari, Nicole Schweikardt |
+\omega + ω -Picture Languages Recognizable by Büchi-Tiling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 76-88, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Blum 0001, Frank Drewes |
Properties of Regular DAG Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 427-438, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Touzet |
On the Levenshtein Automaton and the Size of the Neighbourhood of a Word. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 207-218, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Vogler, Manfred Droste, Luisa Herrmann 0001 |
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 127-139, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Dana Fisman |
Colored Nested Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 143-155, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
Reachability in Resource-Bounded Reaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 592-602, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Atsuyoshi Nakamura, David P. Helmbold, Manfred K. Warmuth |
Noise Free Multi-armed Bandit Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 412-423, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sanguthevar Rajasekaran, Marius Nicolae |
An Error Correcting Parser for Context Free Grammars that Takes Less Than Cubic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 533-546, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Silke Czarnetzki, Andreas Krebs |
Using Duality in Circuit Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 283-294, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Serge Haddad, Engel Lefaucheux |
Accurate Approximate Diagnosability of Stochastic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 549-561, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Crochemore, Roman Kolpakov, Gregory Kucherov |
Optimal Bounds for Computing \alpha α -gapped Repeats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 245-255, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Peter Thiemann 0001 |
Forkable Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 194-206, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Berndt 0001, Rüdiger Reischuk |
Steganography Based on Pattern Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 387-399, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Sarai Sheinvald |
On the Capacity of Capacitated Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 307-319, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yu Chen 0039, Xiaotie Deng, Ziwei Ji, Chao Liao |
The Beachcombers' Problem: Walking and Searching from an Inner Point of a Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 270-282, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Meer, Ameen Naif |
Periodic Generalized Automata over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 168-180, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Andreas Ecke |
Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 63-75, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Grohe |
Tangles and Connectivity in Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 24-41, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Adrian-Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe (eds.) |
Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![Springer, 978-3-319-29999-0 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Boiret |
Normal Form on Linear Tree-to-Word Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 439-451, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
The Missing Case in Chomsky-Schützenberger Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 345-358, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Bell, Shang Chen, Lisa M. Jackson |
Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 493-505, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|