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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Constant-Space Sequential Model of Computation for First-Order Logic Lindell, Steven
1998
143 2 p. 231-250
20 p.
artikel
2 A Note on Complexity Measures for Inductive Classes in Constructive Type Theory Constable, Robert L.
1998
143 2 p. 137-153
17 p.
artikel
3 A Restricted Second Order Logic for Finite Structures Dawar, Anuj
1998
143 2 p. 154-174
21 p.
artikel
4 Author Index for Volume 143 1998
143 2 p. 251-
1 p.
artikel
5 Computable Kripke Models and Intermediate Logics Ishihara, Hajime
1998
143 2 p. 205-230
26 p.
artikel
6 Light Linear Logic Girard, Jean-Yves
1998
143 2 p. 175-204
30 p.
artikel
7 PREFACE Leivant, Daniel
1998
143 2 p. 109-
1 p.
artikel
8 Reflective Relational Machines Abiteboul, Serge
1998
143 2 p. 110-136
27 p.
artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland