Publications
Export 1 results:
Author Title Type [ Year] Filters: Keyword is expressive power and Author is Kurtonina, Natasha [Clear All Filters]
“Bisimulations For Temporal Logic”. Journal of Logic, Language and Information 6: 403–425.
. 1997.