Theoretical Computer Science, Volume 150

Volume 150, Number 1, 16 October 1995

• Giorgio Ausiello, Pierluigi Crescenzi, Marco Protasi:
  Approximate Solution of NP Optimization Problems. 1-55
  Electronic Edition (link) BibTeX
• Jirí Adámek, Václav Koubek:
  On the Greatest Fixed Point of a Set Functor. 57-75
  Electronic Edition (link) BibTeX
• Manfred Droste:
  Recognizable Languages in Concurrency Monoids. 77-109
  Electronic Edition (link) BibTeX
• David A. Naumann:
  Predicate Transformers and Higher-Order Programs. 111-159
  Electronic Edition (link) BibTeX
• Paul H. B. Gardiner:
  Algebraic Proofs of Consistency and Completeness. 161-191
  Electronic Edition (link) BibTeX

Volume 150, Number 2, 30 October 1995