| Original language | English |
|---|
| Place of Publication | Århus |
|---|---|
| Publisher | BRICS - Basic Research in Computer Science |
| Edition | RS-96-49 |
| Publication status | Published - 1996 |
Objects, Types and Modal Logics
Dan S. Andersen, Hans Hüttel, Josva Kleist, Lars H. Pedersen
Research output: Book/Report › Report › Research