On models for Propositional Dynamic Logic
Publication date
1989
Authors
Knijnenburg, P.M.W.
van Leeuwen, Jan
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Ordered by external client
Citation
Knijnenburg, P M W & van Leeuwen, J 1989, On models for Propositional Dynamic Logic. vol. 89-03, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-89-03.html >