|
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 | A compositional natural semantics and Hoare logic for low-level languages |
Saabas, Ando |
2007 |
373 | 3 |
p. 273-302 30 p. |
artikel |
|
| 2 | Adding recursion to Dpi |
Hym, Samuel |
2007 |
373 | 3 |
p. 182-212 31 p. |
artikel |
|
| 3 | A rewriting logic framework for operational semantics of membrane systems |
Andrei, Oana |
2007 |
373 | 3 |
p. 163-181 19 p. |
artikel |
|
| 4 | [No title] |
Mosses, Peter D. |
2007 |
373 | 3 |
p. 161-162 2 p. |
artikel |
|
| 5 | SOS formats and meta-theory: 20 years after |
Mousavi, MohammadReza |
2007 |
373 | 3 |
p. 238-272 35 p. |
artikel |
|
| 6 | The rewriting logic semantics project |
Meseguer, José |
2007 |
373 | 3 |
p. 213-237 25 p. |
artikel |
6 gevonden resultaten