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
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Symmetric Lambda Calculus for Classical Program Extraction Barbanera, Franco
1996
125 2 p. 103-117
15 p.
artikel
2 A Theory of Primitive Objects: Untyped and First-Order Systems Abadi, Martı́n
1996
125 2 p. 78-102
25 p.
artikel
3 Author Index for Volume 125 1996
125 2 p. 171-
1 p.
artikel
4 Comparing Syntactic and Semantic Action Refinement Goltz, Ursula
1996
125 2 p. 118-143
26 p.
artikel
5 Normal Proofs and Their Grammar Takahashi, Masako
1996
125 2 p. 144-153
10 p.
artikel
6 Preface Hagiya, Masami
1996
125 2 p. 77-
1 p.
artikel
7 Proof Lengths for Equational Completion Plaisted, David A.
1996
125 2 p. 154-170
17 p.
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland