|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
15 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Filter Model for Safe Ambients |
Margaria, Ines |
2004 |
104 | C |
p. 217-234 18 p. |
artikel |
|
| 2 | A Graphical Fusion Calculus |
Lanese, Ivan |
2004 |
104 | C |
p. 199-215 17 p. |
artikel |
|
| 3 | Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language |
Honsell, Furio |
2004 |
104 | C |
p. 163-180 18 p. |
artikel |
|
| 4 | Compositional Minimization in Span(Graph): Some Examples |
Katis, Piergiulio |
2004 |
104 | C |
p. 181-197 17 p. |
artikel |
|
| 5 | Flat Committed Join in Join |
Bruni, Roberto |
2004 |
104 | C |
p. 39-59 21 p. |
artikel |
|
| 6 | Lazy Algorithms for Exact Real Arithmetic |
Di Gianantonio, Pietro |
2004 |
104 | C |
p. 113-128 16 p. |
artikel |
|
| 7 | Lazy Logical Semantics |
Paolini, Luca |
2004 |
104 | C |
p. 235-251 17 p. |
artikel |
|
| 8 | Peano Structures and the Semantics of Iteration |
Germano, G.M. |
2004 |
104 | C |
p. 149-162 14 p. |
artikel |
|
| 9 | Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax |
Ciaffaglione, Alberto |
2004 |
104 | C |
p. 99-112 14 p. |
artikel |
|
| 10 | Preface |
Honsell, Furio |
2004 |
104 | C |
p. 1-3 3 p. |
artikel |
|
| 11 | Properties of Set Functors |
Cancila, Daniela |
2004 |
104 | C |
p. 61-80 20 p. |
artikel |
|
| 12 | Some Characterization Results for Permutation Algebras |
Gadducci, Fabio |
2004 |
104 | C |
p. 129-147 19 p. |
artikel |
|
| 13 | Timing in the Cospan-Span Model |
Cherubini, A. |
2004 |
104 | C |
p. 81-97 17 p. |
artikel |
|
| 14 | Type Assignement for Mobile Objects |
Barbanera, Franco |
2004 |
104 | C |
p. 25-38 14 p. |
artikel |
|
| 15 | Verifying a Behavioural Logic for Graph Transformation Systems |
Baldan, Paolo |
2004 |
104 | C |
p. 5-24 20 p. |
artikel |
15 gevonden resultaten