Theoretical Computer Science, Volume 69

Volume 69, Number 1, 1989

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

Volume 69, Number 2, 1989

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

Volume 69, Number 3, 1989

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