Volume 6, Number 1, March 1995
- Ilmir Kh. Musikaev, Michael A. Taitslin: Flat Backtracking Prolog for Databases: A Formal Semantics, the Computational Complexity and the Expressibility. 11-26
- Miquel Monserrat, Francesc Rosselló, Joan Torrens: When is a Category of Many-Sorted Partial Algebras Cartesian-Closed? 51-66
- Sanjay Jain: An Infinite Class of Functions Identifiable Using Minimal Programs in all Kolmogorov Numberings. 89-94
Volume 6, Number 2, June 1995
- Andrea E. F. Clementi, Miriam Di Ianni: Optimum Schedule Problems in Store and Forward Networks. 155-168
Volume 6, Number 3, September 1995
- S. Hayashi, S. Kobayashi: A New Formalization of Feferman's System of Functions and Classes and Its Relation to Frege Structure. 187-202
- Yukiyoshi Kameyama: A Type-Free Theory of Half-Monotone Inductive Definitions. 203-234
- Scott F. Smith: Hybrid Partial-Total Type Theory. 235-263
- Michael Beeson: Using Nonstandard Analysis to Ensure the Correctness of Symbolic Computations. 299-338
Volume 6, Number 4, December 1995
- Wieslaw Szwast: A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality. 339-351
- Ilaria Castellani: Observing Distribution in Processes: Static and Dynamic Localities. 353-393
- Jean-Christophe Dubacq: How to Simulate Turing Machines by Invertible One-Dimensional Cellular Automata. 395-402
- Lane A. Hemaspaandra, Albrecht Hoene, Ashish V. Naik, Mitsunori Ogihara, Alan L. Selman, Thomas Thierauf, Jie Wang: Nondeterministically Selective Sets. 403-416
- Anna Slobodová: On the Power of One-Way Globally Deterministic Synchronized Alternating Turing Maschines and Multihead Automata. 431-446
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203403 by the dblp team