- Termination Analysis of Higher-Order Functional Programs Damien Sereni Mon 24 June 2013
- A Proof System for the Linear Time mu-Calculus Christian Dax Martin Hofmann Martin Lange Fri 09 March 2012
- Size-change termination and satisfiability for linear-time temporal logics Martin Lange Fri 09 March 2012
- The size-change principle for program termination Chin Soon Lee Neil D. Jones Amir M. Ben-Amram Tue 06 March 2012
- Program Termination Analysis in Polynomial Time Chin Soon Lee Tue 06 March 2012
- Program termination analysis in polynomial time Amir M. Ben-Amram Chin Soon Lee Tue 06 March 2012
- Buchi Containment and Size-Change Termination Seth Fogarty Tue 06 March 2012
- Buchi Complementation and Size-Change Termination Seth Fogarty Moshe Y Vardi Tue 06 March 2012
- Buchi complementation and size-change termination Seth Fogarty Moshe Y Vardi Tue 06 March 2012
- Efficient Buchi Universality Checking Seth Fogarty Moshe Y. Vardi Tue 06 March 2012
Library Size: 13G (10 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
