Publications
Filter by
Open menu
2 results at
LICS 1989
On the complexity of epistemic reasoning
Moshe Y. Vardi
1989
LICS 1989
Computing with recursive types
Stavros S. Cosmadakis
1989
LICS 1989