TACAS Conference 1995 Conference Paper
Mona: Monadic second-order logic in practice
- Jesper G. Henriksen
- Jakob Jensen
- Michael Jørgensen
- Nils Klarlund
- Robert Paige
- Theis Rauhe
- Anders Sandholm
Author name cluster
Michael Jørgensen
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
1 paper
1 author row