Nr. 21 (1995): RS-21 MONA: Monadic Second-Order Logic in Practice

Artikler

• MONA: Monadic Second-Order Logic in Practice

  Jesper G. Henriksen, Ole J.L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders B. Sandholm

  • PDF (English)