Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             6 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Deterministic Logical Semantics for Esterel Tardieu, Olivier
2005
128 1 p. 103-122
20 p.
artikel
2 Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus Mann, Matthias
2005
128 1 p. 81-101
21 p.
artikel
3 Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality Lämmel, Ralf
2005
128 1 p. 61-79
19 p.
artikel
4 From Bialgebraic Semantics to Congruence Formats Klin, Bartek
2005
128 1 p. 3-37
35 p.
artikel
5 Preface Aceto, Luca
2005
128 1 p. 1-
1 p.
artikel
6 Toward the Concept of Backtracking Computation Kulaš, Marija
2005
128 1 p. 39-59
21 p.
artikel
                             6 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland