Theoretical Computer Science, Volume 69

Volume 69, Number 1, 1989

• Laurent Vieille: Recursive Query Processing: The Power of Logic. 1-53
• Jean-Marc Kerisit: A Relational Approach to Logic Programming: The Extended Alexander Method. 55-68
• S. Kaplan: Algebraic Specification of Concurrent Systems. 69-115

Volume 69, Number 2, 1989

• Flemming Nielson: Two-Level Semantics and Abstract Interpretation. 117-242

Volume 69, Number 3, 1989

• Matthias Felleisen, Daniel P. Friedman: A Syntactic Theory of Sequential State. 243-287
• Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli: Declarative Modeling of the Operational Behavior of Logic Languages. 289-318
• K. A. Baker, George F. McNulty, W. Taylor: Growth Problems for Avoidable Words. 319-345