Publications
Export 2 results:
Author Title Type [ Year![(Desc)](https://www.clps.ugent.be/sites/all/modules/biblio/misc/arrow-desc.png)
Filters: Author is De Rijke, Maarten [Clear All Filters]
“Bisimulations For Temporal Logic”. Journal of Logic, Language and Information 6: 403–425.
. 1997. “Simulating Without Negation.”. Journal of logic and computation 7: 501–522.
. 1997.