Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Olivier Carton, Léo Exibard, Olivier Serre |
Two-Way Two-Tape Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 147-159, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elena A. Petrova, Arseny M. Shur |
On the Tree of Binary Cube-Free Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 296-307, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Émilie Charlier, Julien Leroy 0002, Michel Rigo (eds.) |
Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![Springer, 978-3-319-62808-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | François Gonze, Vladimir V. Gusev, Balázs Gerencsér, Raphaël M. Jungers, Mikhail V. Volkov 0001 |
On the Interplay Between Babai and Černý's Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 185-197, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Beier, Markus Holzer 0001 |
On Regular Expression Proof Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 83-95, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michal Kunc, Jan Meitner |
The Generalized Rank of Trace Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 247-259, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zsolt Gazdag, Krisztián Tichler |
On the Power of Permitting Semi-conditional Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 173-184, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Josef Rukavicka |
On the Number of Rich Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 345-352, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michal Hospodár, Galina Jirásková, Peter Mlynárcik |
On the Descriptive Complexity of $$\overline{\varSigma ^*\overline{L}}$$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 222-234, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anaël Grandjean |
Differences Between 2D Neighborhoods According to Real Time Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 198-209, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Ng 0001, David Rappaport, Kai Salomaa |
Relative Prefix Distance Between Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 284-295, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra, Ian McQuillan |
Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 235-246, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gwénaël Richomme |
A Characterization of Infinite LSP Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 320-331, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eric Rowland |
Binomial Coefficients, Valuations, and Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 68-74, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pighizzini, Luca Prigioniero |
Limited Automata and Unary Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 308-319, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Mráz, Friedrich Otto |
Deleting Deterministic Restarting Automata with Two Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 272-283, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kamal Lodaya, A. V. Sreejith |
Two-Variable First Order Logic with Counting Quantifiers: Complexity Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 260-271, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luisa Herrmann 0001 |
A Medvedev Characterization of Recognizable Tree Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 210-221, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander A. Rubtsov, Mikhail N. Vyalyi |
On Computational Complexity of Set Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 332-344, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Endrullis, Jeffrey O. Shallit, Tim Smith |
Undecidability and Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 160-172, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Broda, Markus Holzer 0001, Eva Maia, Nelma Moreira, Rogério Reis |
On the Mother of All Automata: The Position Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 134-146, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Kitaev |
A Comprehensive Introduction to the Theory of Word-Representable Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 36-67, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hendrikus J. S. Basten |
Context-Free Ambiguity Detection Using Multi-stack Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 1-12, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luisa Herrmann 0001, Heiko Vogler |
Weighted Symbolic Automata with Data Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 203-215, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luc Dartois, Ismaël Jecker, Pierre-Alain Reynier |
Aperiodic String Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 125-137, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Denkinger |
An Automata Characterisation for Multiple Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 138-150, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kent Kwee, Friedrich Otto |
On Ordered RRWW-Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 268-279, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Jirásek Jr., Galina Jirásková, Juraj Sebej |
Operations on Unambiguous Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 243-255, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marek Szykula, Vojtech Vorel |
An Extremal Series of Eulerian Synchronizing Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 380-392, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Erik Paul |
On Finite and Polynomial Ambiguity of Weighted Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 368-379, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Boiret, Raphaela Palenta |
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 355-367, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti |
Compositions of Tree-to-Tree Statistical Machine Translation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 293-305, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christian Choffrut, Bruno Guillon |
Both Ways Rational Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 114-124, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Ochem, Matthieu Rosenfeld |
Avoidability of Formulas with Two Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 344-354, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cassaigne, Juhani Karhumäki, Svetlana Puzynina, Markus A. Whiteland |
k-Abelian Equivalence and Rationality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 77-88, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis |
Position Automaton Construction for Regular Expressions with Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 51-63, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra, Ian McQuillan |
On Families of Full Trios Containing Counter Machine Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 216-228, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dietrich Kuske, Olena Prianychnykova |
The Trace Monoids in the Queue Monoid and in the Direct Product of Two Free Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 256-267, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Labbé 0001, Julien Leroy 0002 |
Bispecial Factors in the Brun S-Adic System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 280-292, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Bedon |
Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 13-25, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniil Gasnikov, Arseny M. Shur |
Ternary Square-Free Partial Words with Many Wildcards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 177-189, 2016, Springer, 978-3-662-53131-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 Perfect Class of Context-Sensitive Timed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 38-50, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Berdinsky |
Cayley Automatic Groups and Numerical Characteristics of Turing Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 26-37, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Dück |
Weighted Automata and Logics on Infinite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 151-163, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Jirásek Jr. |
Non-regular Maximal Prefix-Free Subsets of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 229-242, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Da-Jung Cho, Yo-Sub Han, Timothy Ng 0001, Kai Salomaa |
Outfix-Guided Insertion - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 102-113, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Liang-Ting Chen 0001, Henning Urbat |
Schützenberger Products in a Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 89-101, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Nowotka, Aleksi Saarela |
One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 332-343, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Florin Manea, Dirk Nowotka, Markus L. Schmid |
On the Solvability Problem for Restricted Classes of Word Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 306-318, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yuya Uezato, Yasuhiko Minamide |
Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 393-405, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Henryk Michalewski, Michal Skrzypczak |
Unambiguous Büchi Is Weak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 319-331, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Cadilhac, Andreas Krebs, Klaus-Jörn Lange |
A Language-Theoretical Approach to Descriptive Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 64-76, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Viliam Geffert |
Alternating Demon Space Is Closed Under Complement and Other Simulations for Sublogarithmic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 190-202, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Srecko Brlek, Christophe Reutenauer (eds.) |
Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![Springer, 978-3-662-53131-0 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Endrullis, Juhani Karhumäki, Jan Willem Klop, Aleksi Saarela |
Degrees of Infinite Words, Polynomials and Atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, pp. 164-176, 2016, Springer, 978-3-662-53131-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Czyba, Christopher Spinrath, Wolfgang Thomas |
Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 203-214, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ismaël Jecker, Emmanuel Filiot |
Multi-sequential Word Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 288-299, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Francine Blanchet-Sadri, Abraham Rashin |
Squareable Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 132-142, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Bell, Daniel Reidenbach, Jeffrey O. Shallit |
Factorization in Formal Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 97-107, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Almeida 0001, Jana Bartonová, Ondrej Klíma 0001, Michal Kunc |
On Decidability of Intermediate Levels of Concatenation Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 58-70, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lohrey |
Grammar-Based Tree Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 46-57, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Yamakami |
Complexity Bounds of Constant-Space Quantum Computation - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 426-438, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Victor Marsault |
Surminimisation of Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 352-363, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sergey V. Avgustinovich, Anna E. Frid, Svetlana Puzynina |
Ergodic Infinite Permutations of Minimal Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 71-84, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luc Boasson, Olivier Carton |
Transfinite Lyndon Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 179-190, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Ng 0001, David Rappaport, Kai Salomaa |
State Complexity of Neighbourhoods and Approximate Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 389-400, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
Generalizations of Code Languages with Marginal Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 264-275, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk |
Recognisable Languages over Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 1-13, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Jirásek 0001, Galina Jirásková |
The Boundary of Prefix-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 300-312, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik, Uli Fahrenberg, Axel Legay |
*-Continuous Kleene ω-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 240-251, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Pierre Béal, Pavel Heller |
Deciding Proper Conjugacy of Classes of One-Sided Finite-Type-Dyck Shifts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 167-178, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hideo Bannai, Travis Gagie, Shunsuke Inenaga, Juha Kärkkäinen, Dominik Kempa, Marcin Piatkowski, Simon J. Puglisi, Shiho Sugimoto |
Diverse Palindromic Factorization Is NP-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 85-96, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly Perevoshchikov |
Weight Assignment Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 413-425, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Dehornoy |
Garside and Quadratic Normalisation: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 14-45, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Krebs, Klaus-Jörn Lange, Michael Ludwig |
On Distinguishing NC1 and NL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 340-351, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joey Eremondi, Oscar H. Ibarra, Ian McQuillan |
On the Density of Context-Free and Counter Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 228-239, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Igor Potapov (eds.) |
Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![Springer, 978-3-319-21499-3 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shiguang Feng, Markus Lohrey, Karin Quaas |
Path Checking for MTL and TPTL over Data Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 326-339, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ines Klimann, Matthieu Picantin, Dmytro Savchuk |
A Connected 3-State Reversible Mealy Automaton Cannot Generate an Infinite Burnside Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 313-325, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aida Gainutdinova, Abuzer Yakaryilmaz |
Unary Probabilistic and Quantum Automata on Promise Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 252-263, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James D. Currie, Florin Manea, Dirk Nowotka |
Unary Patterns with Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 191-202, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zuzana Masáková, Edita Pelantová, Stepán Starosta |
Interval Exchange Words and the Question of Hof, Knill, and Simon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 377-388, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Otto, Kent Kwee |
Deterministic Ordered Restarting Automata that Compute Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 401-412, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christian Brandl, Hans Ulrich Simon |
Complexity Analysis: Transformation Monoids of Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 143-154, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bianchi, Juraj Hromkovic, Ivan Kovác |
On the Size of Two-Way Reasonable Automata for the Liveness Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 120-131, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Sebastian Jakobi, Martin Kutrib |
Minimal Reversible Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 276-287, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Dolce, Dominique Perrin |
Enumeration Formulæ in Neutral Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 215-227, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Masopust, Michaël Thomazo |
On the Complexity of k-Piecewise Testability and the Depth of Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 364-376, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Srecko Brlek, Nadia Lafrenière, Xavier Provençal |
Palindromic Complexity of Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 155-166, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Marie van den Bogaard |
Consensus Game Acceptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 108-119, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|