|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Belief base change as priority change: A study based on dynamic epistemic logic |
Souza, Marlo |
|
122 | C |
p. |
artikel |
|
| 2 | Determinization of inverted grammar programs via context-free expressions |
Nishida, Naoki |
|
122 | C |
p. |
artikel |
|
| 3 | Editorial Board |
|
122 | C |
p. |
artikel |
||
| 4 | Expressing discrete spatial relations under granularity |
Sindoni, Giulia |
|
122 | C |
p. |
artikel |
|
| 5 | Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL |
González-Burgueño, Antonio |
|
122 | C |
p. |
artikel |
|
| 6 | Observational interpretations of hybrid dynamic logic with binders and silent transitions |
Hennicker, Rolf |
|
122 | C |
p. |
artikel |
6 gevonden resultaten