|
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 Compositional Natural Semantics and Hoare Logic for Low-Level Languages |
Saabas, Ando |
2006 |
156 | 1 |
p. 151-168 18 p. |
artikel |
|
| 2 | A Congruence Format for Name-passing Calculi |
Ziegler, Axelle |
2006 |
156 | 1 |
p. 169-189 21 p. |
artikel |
|
| 3 | Adding Recursion to Dpi |
Hym, Samuel |
2006 |
156 | 1 |
p. 115-133 19 p. |
artikel |
|
| 4 | A Hierarchy of SOS Rule Formats |
Groote, Jan Friso |
2006 |
156 | 1 |
p. 3-25 23 p. |
artikel |
|
| 5 | Compositional Operational Semantics of a UML-Kernel-Model Language |
Fecher, Harald |
2006 |
156 | 1 |
p. 79-96 18 p. |
artikel |
|
| 6 | Divide and Congruence Applied to η-Bisimulation |
Fokkink, Wan |
2006 |
156 | 1 |
p. 97-113 17 p. |
artikel |
|
| 7 | Operational Semantics and Rewriting Logic in Membrane Computing |
Andrei, Oana |
2006 |
156 | 1 |
p. 57-78 22 p. |
artikel |
|
| 8 | Preface |
Mosses, Peter |
2006 |
156 | 1 |
p. 1-2 2 p. |
artikel |
|
| 9 | Prototyping SOS Meta-theory in Maude |
Mousavi, Mohammad Reza |
2006 |
156 | 1 |
p. 135-150 16 p. |
artikel |
|
| 10 | The Rewriting Logic Semantics Project |
Meseguer, José |
2006 |
156 | 1 |
p. 27-56 30 p. |
artikel |
10 gevonden resultaten