- Bisimulation Equivalence for First-Order Grammars Petr Jancar Fri 22 June 2012
- Deciding the Value 1 Problem of Probabilistic Leaktight Automata Nathanael Fijalkow Hugo Gimbert Youssouf Oualhadj Fri 22 June 2012
- An abstract interpretation framework for termination Patrick Cousot Radhia Cousot Thu 21 June 2012
- Regular sets over extended tree structures Severine Fratani Thu 21 June 2012
- Automates à piles de piles ... de piles Severine Fratani Thu 21 June 2012
- Fundamental properties of infinite trees Bruno Courcelle Mon 18 June 2012
- Model Checking of Recursive Probabilistic Systems Kousha Etessami Mihalis Yannakakis Mon 18 June 2012
- A Hierarchy of Polynomial-Time Computable Simulations for Automata Kousha Etessami Mon 18 June 2012
- The General Vector Addition System Reachability Problem by Presburger Inductive Invariants Jérôme Leroux Wed 13 June 2012
- Vector Addition System Reachability Problem In Less Than 7 Pages (v1) Jérôme Leroux Wed 13 June 2012
- Vector addition system reachability problem: a short self-contained proof Jérôme Leroux Wed 13 June 2012
- The General Vector Addition System Reachability Problem by Presburger Inductive Invariants Jérôme Leroux Wed 13 June 2012
- Towards nominal computation Mikolaj Bojanczyk Laurent Braud Bartek Klin Slawomir Lasota Tue 12 June 2012
- Generalized Simulation Relations with Applications in Automata Theory Lorenzo Clemente Mon 11 June 2012
- Computability and łambda-Definability Alan M. Turing Mon 11 June 2012
- An alternate proof of Statman's finite completeness theorem B Srivathsan Igor Walukiewicz Mon 11 June 2012
- Comparing the Expressive Power of Well-Structured Transition Systems Parosh Aziz Abdulla Giorgio Delzanno Laurent Van Begin Sun 10 June 2012
- A classification of the expressive power of well-structured transition systems Parosh Aziz Abdulla Giorgio Delzanno Laurent Van Begin Sun 10 June 2012
- Well-Quasi-Ordering Hereditarily Finite Sets Alberto Policriti Alexandru I. Tomescu Sun 10 June 2012
- Model Checking Vector Addition Systems with one zero-test Rémi Bonnet Alain Finkel Jérôme Leroux Marc Zeitoun Fri 08 June 2012
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
