default search action
Journal of Automata, Languages and Combinatorics, Volume 16
Volume 16, Number 1, 2011
- Sergey V. Avgustinovich, Sergey Kitaev, Artem V. Pyatkin, Alexandr Valyuzhenich:
On Square-Free Permutations. 3-10 - Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot:
Multi-Bar and Multi-Tilde Regular Operators. 11-36 - Michael Soltys:
Feasible Proofs of Szpilrajn's Theorem - A Proof-Complexity Framework for Concurrent Automata. 37-48 - Ariel Stulman:
Generating Optimal Distinguishing Sequences for Testing Timed Protocols. 49-65
Volume 16, Number 2-4, 2011
- Henning Bordihn, Jürgen Dassow, Martin Kutrib, Bianca Truthe:
Selected Papers Dedicated to Friedrich Otto on the Occasion of his 60th Birthday - Editorial. 71-74 - Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch:
String Rewriting and Security Analysis: An Extension of a Result of Book and Otto. 75-90 - Henning Bordihn, Markus Holzer, Martin Kutrib:
Hairpin Finite Automata. 91-107 - Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran:
Unification over Distributive Exponentiation (Sub)Theories. 109-140 - Artur Jez, Tomasz Jurdzinski:
Length-reducing Automata (almost) without Auxiliary Symbols. 141-164 - Hartmut Messerschmidt, Martin Stommel:
Church-Rosser Picture Languages and Their Applications in Picture Recognition. 165-194 - Benedek Nagy:
On CD-Systems of Stateless Deterministic R(2)-Automata. 195-213 - Dana Pardubská, Frantisek Mráz, Martin Plátek:
Translations by Regulated Parallel Communicating Grammar Systems. 215-251
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.