- Recursive Unsolvability of a Problem of Thue Emil L. Post Sun 30 December 2012
- A variant of a recursively unsolvable problem Emil L. Post Sun 30 December 2012
- Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties Patrice Godefroid Pierre Wolper Sat 29 December 2012
- An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) Moshe Y. Vardi Pierre Wolper Sat 29 December 2012
- An introduction to assertional reasoning for concurrent systems A. Udaya Shankar Sat 29 December 2012
- General decidability theorems for infinite-state systems P. A. Abdulla K. Cerans B. Jonsson Yih-Kuen Tsay Sat 29 December 2012
- Fundamental Structures in Well-Structured Infinite Transition Systems Alain Finkel Ph. Schnoebelen Sat 29 December 2012
- Basic WQO- and BQO-Theory E.C. Milner Sat 29 December 2012
- Applications of Well Quasi-Ordering and Better Quasi-Ordering M. Pouzet Sat 29 December 2012
- Power domains and predicate transformers: A topological view M. Smyth Sat 29 December 2012
- Ordering by Divisibility in Abstract Algebras Graham Higman Sat 29 December 2012
- A regularity condition for parallel rewriting systems Jan van Leeuwen Sat 29 December 2012
- On free monoids partially ordered by embedding Leonard H. Haines Sat 29 December 2012
- Decision Problems on Orders of Words Lucian Ilie Sat 29 December 2012
- The theory of well-quasi-ordering: A frequently discovered concept Joseph B Kruskal Sat 29 December 2012
- Better quasi-orders for uncountable cardinals Saharon Shelah Sat 29 December 2012
- Complexity of some problems in Petri nets Neil D. Jones Lawrence H. Landweber Y. Edmund Lien Sat 29 December 2012
- On the coverability and reachability languages of monotonic extensions of Petri nets Giorgio Delzanno Fernando Rosa-Velardo Sat 29 December 2012
- Constraint-Based Analysis of Broadcast Protocols Giorgio Delzanno Andreas Podelski Javier Esparza Sat 29 December 2012
- Hybrid automata with finite bisimulations Thomas Henzinger Sat 29 December 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
