- Bottom-up rewriting is inverse recognizability preserving Irène Durand Géraud Sénizergues Mon 01 October 2012
- Bottom-up rewriting for words and terms Irene Durand Geraud Senizergues Mon 01 October 2012
- Regular Tree Languages and Rewrite Systems Rémi Gilleron Sophie Tison Mon 01 October 2012
- Abstract machines for programming language implementation Stephan Diehl Pieter Hartel Peter Sestoft Sat 29 September 2012
- The theory of ground rewrite systems is decidable M. Dauchet S. Tison Fri 28 September 2012
- Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems Max Dauchet Thierry Heuillard Pierre Lescanne Sophie Tison Fri 28 September 2012
- Proofs and reachability problem for ground rewrite systems J. Coquidé R. Gilleron Fri 28 September 2012
- Tree generating regular systems Walter S. Brainerd Fri 28 September 2012
- Preserving Regularity and Related Properties of String-Rewriting Systems Friedrich Otto Fri 28 September 2012
- Reachability Problems on Regular Ground Tree Rewriting Graphs Christof Løding Fri 28 September 2012
- Closure of Tree Automata Languages under Innermost Rewriting Adrià Gascón Guillem Godoy Florent Jacquemard Fri 28 September 2012
- A simple machine [based on the SK-combinator reduction mechanism] A. Dickinson M.T. Pope Fri 28 September 2012
- Antichain Algorithms for Finite Automata Laurent Doyen Jean-François Raskin Thu 27 September 2012
- Antichains: A New Algorithm for Checking Universality of Finite Automata M. De Wulf L. Doyen T. Henzinger J. Raskin Thu 27 September 2012
- Antichains for the Automata-Based Approach to Model-Checking Laurent Doyen Jean-Francois Raskin Thu 27 September 2012
- Infinite Runs in Weighted Timed Automata with Energy Constraints Patricia Bouyer Uli Fahrenberg Kim G. Larsen Nicolas Markey Jiří Srba Tue 25 September 2012
- Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent Deterministic Automata Giovanna Lavado Giovanni Pighizzini Shinnosuke Seki Tue 25 September 2012
- A Decision Method for the Rational Sequence Problem Bruce E. Litow Tue 25 September 2012
- Skolem's Problem - On the Border between Decidability and Undecidability Vesa Halava Tero Harju Mika Hirvensalo Juhani Karhumaki Tue 25 September 2012
- Positivity of second order linear recurrent sequences Vesa Halava Tero Harju Mika Hirvensalo Tue 25 September 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 11:39:05,
Build Time: N/A
