Leivant, Daniel (ed.) Logic and computational complexity. International workshop LCC ’94, Indianapolis, IN, USA, October 13–16, 1994. (English) Zbl 0909.00050 Inf. Comput. 143, No. 2, 109-250 (1998). MSC: 00B25 68-06 03-06 PDF BibTeX XML Cite \textit{D. Leivant} (ed.), Inf. Comput. 143, No. 2, 109--250 (1998; Zbl 0909.00050)
Lindell, Steven A constant-space sequential model of computation for first-order logic. (English) Zbl 0914.03047 Inf. Comput. 143, No. 2, 231-250 (1998). Reviewer: U.Schöning (Ulm) MSC: 03D10 03D15 03B10 68Q05 68Q15 PDF BibTeX XML Cite \textit{S. Lindell}, Inf. Comput. 143, No. 2, 231--250 (1998; Zbl 0914.03047) Full Text: DOI
Ishihara, Hajime; Khoussainov, Bakhadyr; Nerode, Anil Computable Kripke models and intermediate logics. (English) Zbl 0913.03033 Inf. Comput. 143, No. 2, 205-230 (1998). Reviewer: M.M.Arslanov (Kazan’) MSC: 03B55 03C57 03D45 PDF BibTeX XML Cite \textit{H. Ishihara} et al., Inf. Comput. 143, No. 2, 205--230 (1998; Zbl 0913.03033) Full Text: DOI
Girard, Jean-Yves Light linear logic. (English) Zbl 0912.03025 Inf. Comput. 143, No. 2, 175-204 (1998). Reviewer: Lorenzo Tortora de Falco (Paris) MSC: 03F20 03F05 03B70 03B20 03F07 PDF BibTeX XML Cite \textit{J.-Y. Girard}, Inf. Comput. 143, No. 2, 175--204 (1998; Zbl 0912.03025) Full Text: DOI
Dawar, Anuj A restricted second order logic for finite structures. (English) Zbl 0909.68078 Inf. Comput. 143, No. 2, 154-174 (1998). MSC: 68Q15 PDF BibTeX XML Cite \textit{A. Dawar}, Inf. Comput. 143, No. 2, 154--174 (1998; Zbl 0909.68078) Full Text: DOI
Constable, Robert L. A note on complexity measures for inductive classes in constructive type theory. (English) Zbl 0916.03039 Inf. Comput. 143, No. 2, 137-153 (1998). Reviewer: M.Hofmann MSC: 03F35 03D15 68Q15 03D20 PDF BibTeX XML Cite \textit{R. L. Constable}, Inf. Comput. 143, No. 2, 137--153 (1998; Zbl 0916.03039) Full Text: DOI
Abiteboul, Serge; Papadimitriou, Christos H.; Vianu, V. Reflective relational machines. (English) Zbl 0918.68017 Inf. Comput. 143, No. 2, 110-136 (1998). Reviewer: H.-D.Gerhardt (Rostock) MSC: 68P15 68Q05 PDF BibTeX XML Cite \textit{S. Abiteboul} et al., Inf. Comput. 143, No. 2, 110--136 (1998; Zbl 0918.68017) Full Text: DOI