External Links

    Journal: Inf. Comput.

    Volume 79, Issue 3

    193 -- 209Mark A. Fulk. Saving the Phenomena: Requirements that Inductive Inference Machines Not Contradict Known Data
    210 -- 256Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar. Compositional Semantics for Real-Time Distributed Computing
    257 -- 279E. A. Trachtenberg. Fault Tolerant Computing and Reliable Communication: A Unified Approach

    Volume 79, Issue 2

    95 -- 130Edmund Robinson, Giuseppe Rosolini. Categories of Partial Maps
    131 -- 154. Infinite Trees, Markings and Well-Foundedness
    155 -- 162Elena Stöhr. A Trade-off between Page Number and Page Width of Book Embeddings of Graphs
    163 -- 192Haralampos Tsaknakis, Panayota Papantoni-Kazakos. Outlier Resistent Filtering and Smoothing

    Volume 79, Issue 1

    1 -- 21Allen Van Gelder. A Satisfiability Tester for Non-clausal Propositional Calculus
    22 -- 42Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo. Some General Incompleteness Results for Partial Correctness Logics
    43 -- 59Alon Itai, Michael Rodeh. The Multi-Tree Approach to Reliability in Distributed Networks
    60 -- 83David B. Benson, Ofer Ben-Shachar. Bisimulation of Automata
    84 -- 93Martin Beaudry. Membership Testing in Commutative Transformation Semigroups
    runs on