Publications
Export 2 results:
[ Author] Title Type Year Filters: Author is Kurtonina, Natasha [Clear All Filters]
“Simulating Without Negation.”. Journal of logic and computation 7: 501–522.
. 1997. “Bisimulations For Temporal Logic”. Journal of Logic, Language and Information 6: 403–425.
. 1997.