Automata and fixed point logic: A coalge
β
Yde Venema
π
Article
π
2006
π
Elsevier Science
π
English
β 433 KB