Information and Computation, Volume 143

Volume 143, Number 1, May 25, 1998

Paula Severi:
Type Inference for Pure Type Systems. 1-23
Beate Bollig, Ingo Wegener:
Completeness and Non-Completeness Results with Respect to Read-Once Projections. 24-33
Davide Sangiorgi:
An Interpretation of Typed Objects into Typed pi-Calculus. 34-73
Franco Montagna:
Investigations on Measure-One Identification of Classes of Languages. 74-107

Special Issue from the workshop on Logic and Computational Complexity (LCC), Indiana University, October 1994

Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu:
Reflective Relational Machines. 110-136
Robert L. Constable:
A Note on Complexity Measures for Inductive Classes in Constructive Type Theory. 137-153
Anuj Dawar:
A Restricted Second Order Logic for Finite Structures. 154-174
Jean-Yves Girard:
Light Linear Logic. 175-204
Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode:
Computable Kripke Models and Intermediate Logics. 205-230
Steven Lindell:
A Constant-Space Sequential Model of Computation for First-Order Logic. 231-250

Last update Sat May 25 20:20:32 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page