Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is model theory  [Clear All Filters]
1997
Kurtonina, Natasha, and Maarten De Rijke. 1997. Bisimulations For Temporal Logic. Journal of Logic, Language and Information 6: 403–425.