Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             8 results found
no title author magazine year volume issue page(s) type
1 A Constant-Space Sequential Model of Computation for First-Order Logic Lindell, Steven
1998
143 2 p. 231-250
20 p.
article
2 A Note on Complexity Measures for Inductive Classes in Constructive Type Theory Constable, Robert L.
1998
143 2 p. 137-153
17 p.
article
3 A Restricted Second Order Logic for Finite Structures Dawar, Anuj
1998
143 2 p. 154-174
21 p.
article
4 Author Index for Volume 143 1998
143 2 p. 251-
1 p.
article
5 Computable Kripke Models and Intermediate Logics Ishihara, Hajime
1998
143 2 p. 205-230
26 p.
article
6 Light Linear Logic Girard, Jean-Yves
1998
143 2 p. 175-204
30 p.
article
7 PREFACE Leivant, Daniel
1998
143 2 p. 109-
1 p.
article
8 Reflective Relational Machines Abiteboul, Serge
1998
143 2 p. 110-136
27 p.
article
                             8 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands