External Links

    Journal: Inf. Comput.

    Volume 80, Issue 3

    193 -- 204Howard J. Karloff, Walter L. Ruzzo. The Iterated Mod Problem
    205 -- 226Patrick W. Dymond, Stephen A. Cook. Complexity Theory of Parallel Time and Hardware
    227 -- 248J. Ross Quinlan, Ronald L. Rivest. Inferring Decision Trees Using the Minimum Description Length Principle
    249 -- 268Sara Porat, Nissim Francez. Fairness in Context-Free Grammars under Every Choice-strategy
    269 -- 287Birgit Jenner, Bernd Kirsig, Klaus-Jörn Lange. The Logarithmic Alternation Hierarchy Collapses: A /sum^/calL_2=APi^/calL_2

    Volume 80, Issue 2

    97 -- 113Jan Willem Klop, Roel C. de Vrijer. Unique Normal Forms for Lambda Calculus with Surjective Pairing
    114 -- 120Joost Engelfriet. The Power to Two-Way Deterministic Checking Stack Automata
    121 -- 151Gilles Bernot. Correctness Proofs for Abstract Implementation
    152 -- 164Vijay V. Vazirani. NC Algorithms for Computing the Number of Perfect Matchings in K_3,3-Free Graphs and Related Problems
    165 -- 191Patrick Cousot, Radhia Cousot. A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic

    Volume 80, Issue 1

    1 -- 17Leen Torenvliet, Peter van Emde Boas. Simplicity, Immunity, Relativizations and Nondeterminism
    18 -- 43Hans Kleine Büning, Ulrich Löwen. Optimizing Propositional Calculus Formulas with Regard to Questions of Deducibility
    44 -- 49Miklos Santha. Relativized Arthur-Merlin versus Merlin-Arthur Games
    50 -- 95Pierre-Louis Curien, Adam Obtulowicz. Partiality, Cartesian closedness and Toposes
    runs on