Theoretical Computer Science, Volume 150

Volume 150, Number 1, 16 October 1995

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/AusielloCP95
- ask others
Giorgio Ausiello, Pierluigi Crescenzi, Marco Protasi: Approximate Solution of NP Optimization Problems. 1-55
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/AdamekK95
- ask others
Jirí Adámek, Václav Koubek: On the Greatest Fixed Point of a Set Functor. 57-75
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Droste95
- ask others
Manfred Droste: Recognizable Languages in Concurrency Monoids. 77-109
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Naumann95
- ask others
David A. Naumann: Predicate Transformers and Higher-Order Programs. 111-159
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Gardiner95
- ask others
Paul H. B. Gardiner: Algebraic Proofs of Consistency and Completeness. 161-191

Volume 150, Number 2, 30 October 1995

Subject Index and Cumulative Index, Volumes 101-150