Information and Computation, Volume 56

Volume 56, Number 1-2, 1983

• Burchard von Braunmühl, Stephen Cook, Kurt Mehlhorn, Rutger Verbeek: The Recognition of Deterministic CFL's in Small Time and Space. 34-51 BibTeX
• Martin D. Davis, Elaine J. Weyuker: A Formal Notion of Program-Based Test Data Adequacy. 52-71 BibTeX
• Pierre Wolper: Temporal Logic Can Be More Expressive. 72-99 BibTeX
• John Case: Pseudo-Extending Computable Functions. 100-111 BibTeX
• Albert R. Meyer, John C. Mitchell: Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability. 112-138 BibTeX

Volume 56, Number 3, 1983

• Karel Culik II, Arto Salomaa: Ambiguity and Decision Problems Concerning Number Systems. 139-153 BibTeX
• John C. Mitchell: The Implication Problem for Functional and Inclusion Dependencies. 154-173 BibTeX
• Uzi Vishkin, Avi Wigderson: Dynamic Parallel Memories. 174-182 BibTeX
• Hana Galperin, Avi Wigderson: Succinct Representations of Graphs. 183-198 BibTeX