Information and Computation, Volume 79

Volume 79, Number 1, 1988

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

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

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