| Original language | English |
|---|
| Place of Publication | Roskilde |
|---|---|
| Publisher | Roskilde Universitet |
| Number of pages | 26 |
| Publication status | Published - 2003 |
| Series | Datalogiske Skrifter |
|---|---|
| Number | 97 |
| ISSN | 0109-9779 |
Towards constructive hybrid logic
Torben Braüner, Valeria de Paiva
Research output: Book/Report › Report › Research