Peter Øhrstrøm is an author at Aalborg University specializing in engineering, social sciences, and formal methods.
Top concepts
EngineeringSocial SciencesAutismDesignEducationCommunicationFormal MethodsUser ExperienceSpecial EducationAutomated Reasoning
Publications per year
1981–2016
9
9
Branching time, indeterminism and tense logic
Thomas Ploug, Peter Øhrstrøm · Synthese · 2011 · 53 citations
Rows per page
1–5 of 9