- Unambiguous Buchi Automata Olivier Carton Max Michel Wed 07 March 2012
- Iterated pushdown automata and sequences of rational numbers S. Fratani G. Senizergues Tue 06 March 2012
- Iterated stack automata and complexity classes Joost Engelfriet Tue 06 March 2012
- Iterated pushdown automata and complexity classes Joost Engelfriet Tue 06 March 2012
- An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems Anil Seth Tue 06 March 2012
- Symbolic backwards-reachability analysis for higher-order pushdown systems Matthew Hague C.-H. Luke Ong Tue 06 March 2012
- Symbolic Reachability Analysis of Higher-Order Context-Free Processes Ahmed Bouajjani Antoine Meyer Tue 06 March 2012
- Collapse Operation Increases Expressive Power of Deterministic Higher Order Pushdown Automata Pawel Parys Tue 06 March 2012
- Collapsible Pushdown Graphs of Level 2 are Tree-Automatic Alexander Kartzow Tue 06 March 2012
- LCF considered as a programming language Gordon Plotkin Tue 06 March 2012
- Winning Regions of Higher-Order Pushdown Games A. Carayol M. Hague A. Meyer C.-H.L. Ong O. Serre Tue 06 March 2012
- A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes Naoki Kobayashi C.-H. Luke Ong Tue 06 March 2012
- Safety Is not a Restriction at Level 2 for String Languages K. Aehlig J. G. de Miranda C. -H. L. Ong Tue 06 March 2012
- Unsafe grammars and panic automata Teodor Knapik Damian Niwiński Paweł Urzyczyn Igor Walukiewicz Tue 06 March 2012
- On the correctness of the Krivine machine Mitchell Wand Tue 06 March 2012
- A call-by-name lambda-calculus machine Jean-Louis Krivine Tue 06 March 2012
- Krivine Machines and Higher-Order Schemes S. Salvati I. Walukiewicz Tue 06 March 2012
- The theory of ends, pushdown automata, and second-order logic David E. Muller Paul E. Schupp Tue 06 March 2012
- Timed vs. Time-Triggered Automata Pavel Krčál Leonid Mokrushin P. S. Thiagarajan Wang Yi Tue 06 March 2012
- Sampled Semantics of Timed Automata Pavel Krcal Parosh Aziz Abdulla Wang Yi Tue 06 March 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
