|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method |
Seino, Takahiro |
2006 |
147 | 1 |
p. 57-72 16 p. |
artikel |
|
| 2 | Automatic Implication Checking for CHR Constraints |
Schrijvers, Tom |
2006 |
147 | 1 |
p. 93-111 19 p. |
artikel |
|
| 3 | Combining Aspect-Oriented and Strategic Programming |
Kalleberg, Karl Trygve |
2006 |
147 | 1 |
p. 5-30 26 p. |
artikel |
|
| 4 | Completeness and Counter-Example Generations of a Basic Protocol Logic |
Hasebe, Koji |
2006 |
147 | 1 |
p. 73-92 20 p. |
artikel |
|
| 5 | From Chemical Rules to Term Rewriting |
Bournez, Olivier |
2006 |
147 | 1 |
p. 113-134 22 p. |
artikel |
|
| 6 | Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language |
Aktemur, Barış |
2006 |
147 | 1 |
p. 31-55 25 p. |
artikel |
|
| 7 | Preface |
Cirstea, Horatiu |
2006 |
147 | 1 |
p. 1-3 3 p. |
artikel |
|
| 8 | Typed Mobile Ambients in Maude |
Rosa-Velardo, Fernando |
2006 |
147 | 1 |
p. 135-161 27 p. |
artikel |
8 gevonden resultaten