Publications
Export 2 results:
Author [ Title] Type Year Filters: Author is De Rijke, Maarten [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.