Searching for authors named "David Janin" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A Toolkit for First Order Extensions of Monadic Games
- …A Toolkit for First Order Extensions of Monadic Games David Janin and Jerzy ¡ ¢ Marcinkowski…
- Cited by 3 (2 self) – Add To MetaCart
-
Automata for the µ-calculus and Related Results
- … Results David Janin Igor Walukiewicz BRICS Report Series RS-95-27 ISSN 0909-0878 May 1995 Copyright c fl…
- Cited by 8 (1 self) – Add To MetaCart
-
On the Expressive Completeness of the Propositional Mu-Calculus With Respect to Monadic Second Order Logic
- … order logic David Janin Igor Walukiewicz LaBRI 1 BRICS 2;3 Universit'e de Bordeaux I Department…
- Cited by 47 (3 self) – Add To MetaCart
Showing 1 through 3.
