| Original language | English |
|---|
| Place of Publication | Roskilde |
|---|---|
| Publisher | Roskilde Universitet |
| Number of pages | 318 |
| Publication status | Published - 2009 |
| Series | Roskilde Universitet. Computer Science. Computer Science Research Report |
|---|---|
| Number | 124 |
| ISSN | 0109-9779 |
Hybrid Logic and Its Proof-Theory
Research output: Book/Report › Doctoral thesis