|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Bisimilar and Logically Equivalent Programs in PDL |
Benevides, Mario R.F. |
2014 |
305 | C |
p. 5-18 14 p. |
artikel |
|
| 2 | Dynamic Spaces in Concurrent Constraint Programming |
Olarte, Carlos |
2014 |
305 | C |
p. 103-121 19 p. |
artikel |
|
| 3 | Extending Propositional Dynamic Logic for Petri Nets |
Lopes, Bruno |
2014 |
305 | C |
p. 67-83 17 p. |
artikel |
|
| 4 | Informational Semantics, Non-Deterministic Matrices and Feasible Deduction |
D'Agostino, Marcello |
2014 |
305 | C |
p. 35-52 18 p. |
artikel |
|
| 5 | Natural Number Objects in Dialectica Categories |
de Paiva, Valeria |
2014 |
305 | C |
p. 53-65 13 p. |
artikel |
|
| 6 | Non-deterministic Semantics in Polynomial Format |
Carnielli, Walter |
2014 |
305 | C |
p. 19-34 16 p. |
artikel |
|
| 7 | On a Graph Approach to Modal Logics |
Veloso, Paulo A.S. |
2014 |
305 | C |
p. 123-139 17 p. |
artikel |
|
| 8 | Preface |
Fernández, Maribel |
2014 |
305 | C |
p. 1-3 3 p. |
artikel |
|
| 9 | Towards Resolution-based Reasoning for Connected Logics |
Nalon, Cláudia |
2014 |
305 | C |
p. 85-102 18 p. |
artikel |
9 gevonden resultaten