|
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 | An Input/Output Semantics for Distributed Program Equivalence Reasoning |
Bertran, Miquel |
2005 |
137 | 1 |
p. 25-46 22 p. |
artikel |
|
| 2 | A Tutorial on Specifying Data Structures in Maude |
Martí-Oliet, Narciso |
2005 |
137 | 1 |
p. 105-132 28 p. |
artikel |
|
| 3 | Dealing Denotationally With Stream-based Communication |
Hidalgo-Herrero, Mercedes |
2005 |
137 | 1 |
p. 47-68 22 p. |
artikel |
|
| 4 | Elimination of Local Variables from Definite Logic Programs |
Álvez, Javier |
2005 |
137 | 1 |
p. 5-24 20 p. |
artikel |
|
| 5 | Preface |
Lucas, Salvador |
2005 |
137 | 1 |
p. 1-3 3 p. |
artikel |
|
| 6 | Proving Modal Properties of Rewrite Theories Using Maude's Metalevel |
Pita, Isabel |
2005 |
137 | 1 |
p. 133-150 18 p. |
artikel |
|
| 7 | Tagged Systems: A Framework for the Specification of History-dependent Properties |
Rosa-Velardo, Fernando |
2005 |
137 | 1 |
p. 151-174 24 p. |
artikel |
|
| 8 | Unfolding-based Improvements on Fuzzy Logic Programs |
Julián, Pascual |
2005 |
137 | 1 |
p. 69-103 35 p. |
artikel |
8 gevonden resultaten