| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | Utrecht |
| Publisher | Unknown Publisher |
| Volume | 89-03 |
| Edition | RUU-CS |
| ISBN (Print) | 0924-3275 |
| Publication status | Published - 1989 |
Keywords
- Wiskunde en Informatica (WIIN)
On models for Propositional Dynamic Logic
P.M.W. Knijnenburg, J. van Leeuwen
Research output: Book/Report › Report › Academic