| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Olivier Carton, Léo Exibard, Olivier Serre |
Two-Way Two-Tape Automata.  |
DLT  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena A. Petrova, Arseny M. Shur |
On the Tree of Binary Cube-Free Words. |
DLT |
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 |
DLT |
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. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Beier, Markus Holzer 0001 |
On Regular Expression Proof Complexity. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Kunc, Jan Meitner |
The Generalized Rank of Trace Languages. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zsolt Gazdag, Krisztián Tichler |
On the Power of Permitting Semi-conditional Grammars. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Rukavicka |
On the Number of Rich Words. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Hospodár, Galina Jirásková, Peter Mlynárcik |
On the Descriptive Complexity of $$\overline{\varSigma ^*\overline{L}}$$. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anaël Grandjean |
Differences Between 2D Neighborhoods According to Real Time Computation. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Ng 0001, David Rappaport, Kai Salomaa |
Relative Prefix Distance Between Languages. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Ian McQuillan |
Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwénaël Richomme |
A Characterization of Infinite LSP Words. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Rowland |
Binomial Coefficients, Valuations, and Words. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Pighizzini, Luca Prigioniero |
Limited Automata and Unary Languages. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Mráz, Friedrich Otto |
Deleting Deterministic Restarting Automata with Two Windows. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, A. V. Sreejith |
Two-Variable First Order Logic with Counting Quantifiers: Complexity Results. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luisa Herrmann 0001 |
A Medvedev Characterization of Recognizable Tree Series. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander A. Rubtsov, Mikhail N. Vyalyi |
On Computational Complexity of Set Automata. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Jeffrey O. Shallit, Tim Smith |
Undecidability and Finite Automata. |
DLT |
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. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Kitaev |
A Comprehensive Introduction to the Theory of Word-Representable Graphs. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrikus J. S. Basten |
Context-Free Ambiguity Detection Using Multi-stack Pushdown Automata. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luisa Herrmann 0001, Heiko Vogler |
Weighted Symbolic Automata with Data Storage. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Dartois, Ismaël Jecker, Pierre-Alain Reynier |
Aperiodic String Transducers. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Denkinger |
An Automata Characterisation for Multiple Context-Free Languages. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kent Kwee, Friedrich Otto |
On Ordered RRWW-Automata. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jozef Jirásek Jr., Galina Jirásková, Juraj Sebej |
Operations on Unambiguous Finite Automata. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Szykula, Vojtech Vorel |
An Extremal Series of Eulerian Synchronizing Automata. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Paul |
On Finite and Polynomial Ambiguity of Weighted Tree Automata. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Boiret, Raphaela Palenta |
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti |
Compositions of Tree-to-Tree Statistical Machine Translation Models. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Choffrut, Bruno Guillon |
Both Ways Rational Functions. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Ochem, Matthieu Rosenfeld |
Avoidability of Formulas with Two Variables. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cassaigne, Juhani Karhumäki, Svetlana Puzynina, Markus A. Whiteland |
k-Abelian Equivalence and Rationality. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis |
Position Automaton Construction for Regular Expressions with Intersection. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Ian McQuillan |
On Families of Full Trios Containing Counter Machine Languages. |
DLT |
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. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Labbé 0001, Julien Leroy 0002 |
Bispecial Factors in the Brun S-Adic System. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Bedon |
Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniil Gasnikov, Arseny M. Shur |
Ternary Square-Free Partial Words with Many Wildcards. |
DLT |
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. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Berdinsky |
Cayley Automatic Groups and Numerical Characteristics of Turing Transducers. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Dück |
Weighted Automata and Logics on Infinite Graphs. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jozef Jirásek Jr. |
Non-regular Maximal Prefix-Free Subsets of Regular Languages. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Da-Jung Cho, Yo-Sub Han, Timothy Ng 0001, Kai Salomaa |
Outfix-Guided Insertion - (Extended Abstract). |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang-Ting Chen 0001, Henning Urbat |
Schützenberger Products in a Category. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Nowotka, Aleksi Saarela |
One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Florin Manea, Dirk Nowotka, Markus L. Schmid |
On the Solvability Problem for Restricted Classes of Word Equations. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuya Uezato, Yasuhiko Minamide |
Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Henryk Michalewski, Michal Skrzypczak |
Unambiguous Büchi Is Weak. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaël Cadilhac, Andreas Krebs, Klaus-Jörn Lange |
A Language-Theoretical Approach to Descriptive Complexity. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Geffert |
Alternating Demon Space Is Closed Under Complement and Other Simulations for Sublogarithmic Space. |
DLT |
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 |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Juhani Karhumäki, Jan Willem Klop, Aleksi Saarela |
Degrees of Infinite Words, Polynomials and Atoms. |
DLT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Czyba, Christopher Spinrath, Wolfgang Thomas |
Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismaël Jecker, Emmanuel Filiot |
Multi-sequential Word Relations. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Abraham Rashin |
Squareable Words. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Bell, Daniel Reidenbach, Jeffrey O. Shallit |
Factorization in Formal Languages. |
DLT |
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. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Grammar-Based Tree Compression. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoyuki Yamakami |
Complexity Bounds of Constant-Space Quantum Computation - (Extended Abstract). |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Marsault |
Surminimisation of Automata. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey V. Avgustinovich, Anna E. Frid, Svetlana Puzynina |
Ergodic Infinite Permutations of Minimal Complexity. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Boasson, Olivier Carton |
Transfinite Lyndon Words. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Ng 0001, David Rappaport, Kai Salomaa |
State Complexity of Neighbourhoods and Approximate Pattern Matching. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
Generalizations of Code Languages with Marginal Errors. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk |
Recognisable Languages over Monads. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jozef Jirásek 0001, Galina Jirásková |
The Boundary of Prefix-Free Languages. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Uli Fahrenberg, Axel Legay |
*-Continuous Kleene ω-Algebras. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Pierre Béal, Pavel Heller |
Deciding Proper Conjugacy of Classes of One-Sided Finite-Type-Dyck Shifts. |
DLT |
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. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaly Perevoshchikov |
Weight Assignment Logic. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Dehornoy |
Garside and Quadratic Normalisation: A Survey. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Krebs, Klaus-Jörn Lange, Michael Ludwig |
On Distinguishing NC1 and NL. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Joey Eremondi, Oscar H. Ibarra, Ian McQuillan |
On the Density of Context-Free and Counter Languages. |
DLT |
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. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiguang Feng, Markus Lohrey, Karin Quaas |
Path Checking for MTL and TPTL over Data Words. |
DLT |
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. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aida Gainutdinova, Abuzer Yakaryilmaz |
Unary Probabilistic and Quantum Automata on Promise Problems. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | James D. Currie, Florin Manea, Dirk Nowotka |
Unary Patterns with Permutations. |
DLT |
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. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto, Kent Kwee |
Deterministic Ordered Restarting Automata that Compute Functions. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Brandl, Hans Ulrich Simon |
Complexity Analysis: Transformation Monoids of Finite Automata. |
DLT |
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. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Sebastian Jakobi, Martin Kutrib |
Minimal Reversible Deterministic Finite Automata. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Dolce, Dominique Perrin |
Enumeration Formulæ in Neutral Sets. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Masopust, Michaël Thomazo |
On the Complexity of k-Piecewise Testability and the Depth of Automata. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Srecko Brlek, Nadia Lafrenière, Xavier Provençal |
Palindromic Complexity of Trees. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Marie van den Bogaard |
Consensus Game Acceptors. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license