Conference | Speakers | Profile
Branching time, indeterminism and tense logic
2012
Thomas PlougPeter Øhrstrøm
Synthese 188/3