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
  

Last update Tue May 21 19:43:44 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page