Roope Kaivola
2 published titles
On modal mu-calculus and Büchi tree automata
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Axiomatising linear time mu-calculus
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1995
- Details
