|
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 | A Local Graph-rewriting System for Deciding Equality in Sum-product Theories |
Almeida, José Bacelar |
2007 |
176 | 1 |
p. 139-163 25 p. |
artikel |
|
| 2 | Implementing Nominal Unification |
Calvès, Christophe |
2007 |
176 | 1 |
p. 25-37 13 p. |
artikel |
|
| 3 | Lazy Context Cloning for Non-Deterministic Graph Rewriting |
Antoy, Sergio |
2007 |
176 | 1 |
p. 3-23 21 p. |
artikel |
|
| 4 | Modeling Pointer Redirection as Cyclic Term-graph Rewriting |
Duval, Dominique |
2007 |
176 | 1 |
p. 65-84 20 p. |
artikel |
|
| 5 | Modelling Calculi with Name Mobility using Graphs with Equivalences |
Baldan, Paolo |
2007 |
176 | 1 |
p. 85-97 13 p. |
artikel |
|
| 6 | Observational Equivalence for the Interaction Combinators and Internal Separation |
Mazza, Damiano |
2007 |
176 | 1 |
p. 113-137 25 p. |
artikel |
|
| 7 | Preface |
Mackie, Ian |
2007 |
176 | 1 |
p. 1-2 2 p. |
artikel |
|
| 8 | Structure and Properties of Traces for Functional Programs |
Chitil, Olaf |
2007 |
176 | 1 |
p. 39-63 25 p. |
artikel |
|
| 9 | Term Graphs for Computing Derivatives in Imperative Languages |
Hovland, Paul D. |
2007 |
176 | 1 |
p. 99-111 13 p. |
artikel |
9 gevonden resultaten