External Links

    Journal: Int. J. Found. Comput. Sci.

    Volume 6, Issue 4

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