- Type systems for programming languages Didier Rémy Sun 23 March 2014
- Verification of Non-Regular Program Properties Roland Axelsson Sun 23 March 2014
- First-Order Logic on CPDA Graphs Pawel Parys Sun 23 March 2014
- Verification of nonregular temporal properties for context-free processes Ahmed Bouajjani Rachid Echahed Riadh Robbana Sun 23 March 2014
- A grammatical characterization of alternating pushdown automata Etsuro Moriya Sun 23 March 2014
- Conjunctive grammars and alternating pushdown automata Tamar Aizikowitz Michael Kaminski Sun 23 March 2014
- Alternating pushdown automata Richard E. Ladner Richard J. Lipton Larry J. Stockmeyer Sat 22 March 2014
- On Fixed-Point Clones (Extended Abstract) Damian Niwinski Sat 22 March 2014
- Alternating tree automata, parity games, and modal mu-calculus Thomas Wilke Sat 22 March 2014
- An Automata Theoretic Decision Procedure for the Propositional Mu-calculus Robert S. Streett E. Allen Emerson Sat 22 March 2014
- Determinization and Memoryless Winning Strategies Charanjit S. Jutla Sat 22 March 2014
- -Calculus Alternation-Depth Hierarchy Is Strict On Binary Trees André Arnold Sat 22 March 2014
- Using Automata to Characterise Fixed Point Temporal Logics Roope Kaivola Sat 22 March 2014
- The Complexity of Model Checking Higher Order Fixpoint Logic Martin Lange Rafał Somla Fri 21 March 2014
- A Polyadic Modal -Calculus Henrik Reif Andersen Fri 21 March 2014
- Bisimulation-invariant PTIME and higher-dimensional mu-calculus Martin Otto Fri 21 March 2014
- Model Checking for String Problems Milka Hutagalung Martin Lange Fri 21 March 2014
- When is a Functional Program Not a Functional Program John Longley Thu 20 March 2014
- A Unified Approach to Global Program Optimization Gary A. Kildall Thu 20 March 2014
- Markov Decision Processes and Regular Events Costas Courcoubetis Mihalis Yannakakis Thu 20 March 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
