MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Mona Monadic Second-Order Logic in Practice." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • MONA: Monadic Second-Order Logic in Practice  
  • by Jesper G. Henriksen, Ole J.L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders B. Sandholm — 1995 — IN PRACTICE, IN TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, FIRST INTERNATIONAL WORKSHOP, TACAS '95, LNCS 1019
  • …BRICS Basic Research in Computer Science MONA: Monadic Second-Order Logic in Practice Jesper G…
  • Cited by 87 (18 self) – Add To MetaCart
  • Automata to Logic - and  
  • by Back January Pp, Gudmund Skovbjerg Fr, Thore Husfeldt, Peter Bro Miltersen
  • …. Sandholm. MONA: Monadic Second-Order Logic in Practice. May 1995. 17 pp. Appears in Brinksma, Cleaveland…
  • Add To MetaCart
  • MONA Version 1.4 - User Manual  
  • by Nils Klarlund, Nils Klarlund, Anders Møller, Anders Mller — 2001 — Department of Computer Science, University of Aarhus
  • …: "Mona: Monadic Second-Order Logic in Practice" [HJJ + 96] The first paper on the implementation…
  • Cited by 18 (1 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB