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
Martin D. Davis, Elaine J. Weyuker: A Formal Notion of Program-Based Test Data Adequacy. 52-71
Pierre Wolper: Temporal Logic Can Be More Expressive. 72-99
John Case: Pseudo-Extending Computable Functions. 100-111
Albert R. Meyer, John C. Mitchell: Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability. 112-138

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