|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Deterministic Logical Semantics for Esterel |
Tardieu, Olivier |
2005 |
128 | 1 |
p. 103-122 20 p. |
article |
|
| 2 | Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus |
Mann, Matthias |
2005 |
128 | 1 |
p. 81-101 21 p. |
article |
|
| 3 | Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality |
Lämmel, Ralf |
2005 |
128 | 1 |
p. 61-79 19 p. |
article |
|
| 4 | From Bialgebraic Semantics to Congruence Formats |
Klin, Bartek |
2005 |
128 | 1 |
p. 3-37 35 p. |
article |
|
| 5 | Preface |
Aceto, Luca |
2005 |
128 | 1 |
p. 1- 1 p. |
article |
|
| 6 | Toward the Concept of Backtracking Computation |
Kulaš, Marija |
2005 |
128 | 1 |
p. 39-59 21 p. |
article |
6 results found