| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Århus |
|---|---|
| Forlag | BRICS - Basic Research in Computer Science |
| Udgave | RS-96-49 |
| Status | Udgivet - 1996 |
Objects, Types and Modal Logics
Dan S. Andersen, Hans Hüttel, Josva Kleist, Lars H. Pedersen
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning