|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Hybridization of Irreflexive Modal Logics |
Katsuhiko, Sano |
2007 |
174 | 6 |
p. 95-111 17 p. |
artikel |
|
| 2 | Decidability of a Hybrid Duration Calculus |
Bolander, Thomas |
2007 |
174 | 6 |
p. 113-133 21 p. |
artikel |
|
| 3 | Higher-Order Syntax and Saturation Algorithms for Hybrid Logic |
Hardt, Moritz |
2007 |
174 | 6 |
p. 15-27 13 p. |
artikel |
|
| 4 | Hybridizing a Logical Framework |
Reed, Jason |
2007 |
174 | 6 |
p. 135-148 14 p. |
artikel |
|
| 5 | Hybrid Logics and Ontology Languages |
Horrocks, Ian |
2007 |
174 | 6 |
p. 3-14 12 p. |
artikel |
|
| 6 | Preface |
Blackburn, Patrick |
2007 |
174 | 6 |
p. 1-2 2 p. |
artikel |
|
| 7 | Testing XML constraint satisfiability |
Bidoit, Nicole |
2007 |
174 | 6 |
p. 45-61 17 p. |
artikel |
|
| 8 | Topological Perspective on the Hybrid Proof Rules |
ten Cate, Balder |
2007 |
174 | 6 |
p. 79-94 16 p. |
artikel |
|
| 9 | Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
Platzer, André |
2007 |
174 | 6 |
p. 63-77 15 p. |
artikel |
|
| 10 | Undecidability of Multi-modal Hybrid Logics |
Mundhenk, Martin |
2007 |
174 | 6 |
p. 29-43 15 p. |
artikel |
10 gevonden resultaten