Publications

Export 3 results:
Author Title Type [ Year(Desc)]
Filters: Author is Kurtonina, Natasha  [Clear All Filters]
1997
Kurtonina, Natasha, and Maarten De Rijke. 1997. Bisimulations For Temporal Logic. Journal of Logic, Language and Information 6: 403–425.
Kurtonina, Natasha, and Maarten De Rijke. 1997. Simulating Without Negation.. Journal of logic and computation 7: 501–522.