International Journal of Foundations of Computer Science, Volume 6

Volume 6, Number 1, March 1995

Ricardo A. Baeza-Yates, Patricio V. Poblete: Higher-Order Analysis of 2-3 Trees. 1-10 BibTeX
Ilmir Kh. Musikaev, Michael A. Taitslin: Flat Backtracking Prolog for Databases: A Formal Semantics, the Computational Complexity and the Expressibility. 11-26 BibTeX
Jaakko Hintikka, Gabriel Sandu: What is the Logic of Parallel Processing? 27-49 BibTeX
Miquel Monserrat, Francesc Rosselló, Joan Torrens: When is a Category of Many-Sorted Partial Algebras Cartesian-Closed? 51-66 BibTeX
James Haralambides, Spyros Tragoudas: Bipartitioning into Overlapping Sets. 67-88 BibTeX
Sanjay Jain: An Infinite Class of Functions Identifiable Using Minimal Programs in all Kolmogorov Numberings. 89-94 BibTeX

Stephen L. Bloom, Zoltán Ésik: Some Equational Laws of Initiality in 2CCC's. 95-118 BibTeX
Philippe Besnard, Jürg Kohlas: Evidence Theory Based on General Consequence Relations. 119-135 BibTeX
Vikraman Arvind, Johannes Köbler, Rainer Schuler: On Helping and Interactive Proof Systems. 137-153 BibTeX
Andrea E. F. Clementi, Miriam Di Ianni: Optimum Schedule Problems in Store and Forward Networks. 155-168 BibTeX
Wuxu Peng, S. Purushothaman Iyer: A New Typee of Pushdown Automata on Infinite Trees. 169-186 BibTeX

S. Hayashi, S. Kobayashi: A New Formalization of Feferman's System of Functions and Classes and Its Relation to Frege Structure. 187-202 BibTeX
Yukiyoshi Kameyama: A Type-Free Theory of Half-Monotone Inductive Definitions. 203-234 BibTeX
Scott F. Smith: Hybrid Partial-Total Type Theory. 235-263 BibTeX
Ian A. Mason, Carolyn L. Talcott: Reasoning About Object Systems in VTLoE. 265-298 BibTeX
Michael Beeson: Using Nonstandard Analysis to Ensure the Correctness of Symbolic Computations. 299-338 BibTeX

Wieslaw Szwast: A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality. 339-351 BibTeX
Ilaria Castellani: Observing Distribution in Processes: Static and Dynamic Localities. 353-393 BibTeX
Jean-Christophe Dubacq: How to Simulate Turing Machines by Invertible One-Dimensional Cellular Automata. 395-402 BibTeX
Lane A. Hemaspaandra, Albrecht Hoene, Ashish V. Naik, Mitsunori Ogihara, Alan L. Selman, Thomas Thierauf, Jie Wang: Nondeterministically Selective Sets. 403-416 BibTeX
N. Raja, R. K. Shyamasundar: The Quine-Bernays Combinatory Calculus. 417-430 BibTeX
Anna Slobodová: On the Power of One-Way Globally Deterministic Synchronized Alternating Turing Maschines and Multihead Automata. 431-446 BibTeX