- Lectures on the modal mu-calculus Yde Venema Wed 26 June 2013
- The Horn mu-calculus W. Charatonik D. McAllester D. Niwinski A. Podelski I. Walukiewicz Mon 08 April 2013
- Tree automata, Mu-Calculus and determinacy E. A. Emerson C. S. Jutla Wed 27 March 2013
- Automata for the modal mu-calculus and related results David Janin Igor Walukiewicz Wed 27 March 2013
- A fixpoint calculus for local and global program flows Rajeev Alur Swarat Chaudhuri P. Madhusudan Tue 12 March 2013
- Automated temporal reasoning about reactive systems E. Allen Emerson Thu 31 January 2013
- A note on model checking the modal nu-calculus Glynn Winskel Wed 30 January 2013
- A Note on Model Checking the Modal nu-Calculus Glynn Winskel Wed 30 January 2013
- Local model checking in the modal mu-calculus Colin Stirling David Walker Wed 30 January 2013
- Proof System for Hennessy-Milner Logic with Recursion Kim Guldstrand Larsen Wed 30 January 2013
- Results on the propositional mu-calculus Dexter Kozen Wed 30 January 2013
- A compositional proof system for the modal mu;-calculus H.R. Andersen C. Stirling G. Winskel Wed 30 January 2013
Library Size: 13G (12 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
