MONA: Monadic Second-Order Logic in Practice (1995)

Cached

Download Links

by Jesper G. Henriksen , Ole J.L. Jensen , Michael E. Jørgensen , Nils Klarlund , Robert Paige , Theis Rauhe , Anders B. Sandholm
Venue:IN PRACTICE, IN TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, FIRST INTERNATIONAL WORKSHOP, TACAS '95, LNCS 1019
Citations:121 - 19 self