Information and Computation, Volume 107

Volume 107, Number 1, 1993

• Michael T. Goodrich, Mikhail J. Atallah, Mark H. Overmars: Output-Sensitive Methods for Rectilinear Hidden Surface Removal. 1-24 BibTeX
• Peter W. O'Hearn, Robert D. Tennent: Semantical Analysis of Specification Logic, 2. 25-57 BibTeX
• Joachim Parrow: Structural and Behavioural Equivalences of Networks. 58-90 BibTeX
• Leszek Pacholski, Wieslaw Szwast: A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality. 91-103 BibTeX
• Jan Kuper: An Axiomatic Theory for Partial Functions. 104-150 BibTeX
• Nils Klarlund, Fred B. Schneider: Proving Nondeterministically Specified Safety Properties Using Progress Measures. 151-170 BibTeX

Volume 107, Number 2, 1993

• James E. Burns, Nancy A. Lynch: Bounds on Shared Memory for Mutual Exclusion. 171-184 BibTeX
• Jeanne Devolder: Precircular Codes and Periodic Biinfinite Words. 185-201 BibTeX
• Matthew Hennessy, Anna Ingólfsdóttir: A Theory of Communicating Processes with Value Passing. 202-236 BibTeX
• Rusins Freivalds, Carl H. Smith: On the Role of Procrastination in Machine Learning. 237-271 BibTeX
• Bengt Jonsson, Joachim Parrow: Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs. 272-302 BibTeX
• Carl A. Gunter, Elsa L. Gunter, David B. MacQueen: Computing ML Equality Kinds Using Abstract Interpretation. 303-323 BibTeX