| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Journal of Logic and Computation |
| Vol/bind | 14 |
| Udgave nummer | 3 |
| Sider (fra-til) | 329-353 |
| ISSN | 0955-792X |
| Status | Udgivet - 2004 |
Natural Deduction for Hybrid Logic
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
26
Citationer
(Scopus)