- Size-change termination and satisfiability for linear-time temporal logics Martin Lange Fri 09 March 2012
- Regular sets of higher-order pushdown stacks Arnaud Carayol Thu 08 March 2012
- Multilevel Stack Automata A. N. Maslov Thu 08 March 2012
- Saturation Methods for Global Model-Checking Pushdown Systems Matthew Hague Thu 08 March 2012
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems Matthew Hague C.-H. Luke Ong Thu 08 March 2012
- A saturation method for the modal mu-calculus over pushdown systems M. Hague C.-H.L. Ong Thu 08 March 2012
- The Complexity of Games on Higher Order Pushdown Automata Thierry Cachat Igor Walukiewicz Thu 08 March 2012
- An Eilenberg Theorem for Infinity-Languages Thomas Wilke Wed 07 March 2012
- Right congruences for omega-regular languages Hideki Yamasaki Wed 07 March 2012
- Omega-syntactic congruences Lila Kari Gabriel Thierrin Wed 07 March 2012
- Characterizations of rational omega-languages by means of right congruences Do Long Van Bertrand Le Saec Igor Litovsky Wed 07 March 2012
- Which finite monoids are syntactic monoids of rational omega-languages Phan Trung Huy Igor Livotsky Do Long Van Wed 07 March 2012
- On syntactic congruences for omega-languages Oded Maler Ludwig Staiger Wed 07 March 2012
- Rational omega-languages are non-ambiguous Andre Arnold Wed 07 March 2012
- Deterministic and non ambiguous rational omega-languages André Arnold Wed 07 March 2012
- A syntactic congruence for rational omega-languages Andre Arnold Wed 07 March 2012
- Codeterministic automata on infinite words D. Beauquier D. Perrin Wed 07 March 2012
- Decision problems for omega-automata L. H. Landweber Wed 07 March 2012
- On the equivalence and containment problems for unambiguous regular expressions, grammars, and automata Richard E. Stearns Harry B. Hunt Wed 07 March 2012
- Unambiguous Buchi automata Olivier Carton Max Michel Wed 07 March 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
