|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An Input/Output Semantics for Distributed Program Equivalence Reasoning |
Bertran, Miquel |
2005 |
137 | 1 |
p. 25-46 22 p. |
article |
|
| 2 | A Tutorial on Specifying Data Structures in Maude |
Martí-Oliet, Narciso |
2005 |
137 | 1 |
p. 105-132 28 p. |
article |
|
| 3 | Dealing Denotationally With Stream-based Communication |
Hidalgo-Herrero, Mercedes |
2005 |
137 | 1 |
p. 47-68 22 p. |
article |
|
| 4 | Elimination of Local Variables from Definite Logic Programs |
Álvez, Javier |
2005 |
137 | 1 |
p. 5-24 20 p. |
article |
|
| 5 | Preface |
Lucas, Salvador |
2005 |
137 | 1 |
p. 1-3 3 p. |
article |
|
| 6 | Proving Modal Properties of Rewrite Theories Using Maude's Metalevel |
Pita, Isabel |
2005 |
137 | 1 |
p. 133-150 18 p. |
article |
|
| 7 | Tagged Systems: A Framework for the Specification of History-dependent Properties |
Rosa-Velardo, Fernando |
2005 |
137 | 1 |
p. 151-174 24 p. |
article |
|
| 8 | Unfolding-based Improvements on Fuzzy Logic Programs |
Julián, Pascual |
2005 |
137 | 1 |
p. 69-103 35 p. |
article |
8 results found