Information and Computation, Volume 79

Volume 79, Number 1, 1988

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

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

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