Volume 121, Number 1, August 15 1995
- Lane A. Hemaspaandra, Sudhir K. Jha:
Defying Upward and Downward Separation.
1-13 BibTeX
- Luc Longpré, Osamu Watanabe:
On Symmetry of Information and Polynomial Time Invertibility.
14-22 BibTeX
- Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano:
Zero-Knowledge Arguments and Public-Key Cryptography.
23-40 BibTeX
- Yosi Ben-Asher, Klaus-Jörn Lange, David Peleg, Assaf Schuster:
The Complexity of Reconfiguring Network Models.
41-58 BibTeX
- Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen:
Reactive, Generative and Stratified Models of Probabilistic Processes.
59-80 BibTeX
- Georg Gottlob:
The Complexity of Default Reasoning under the Stationary Fixed Point Semantics.
81-92 BibTeX
- Leonard M. Adleman, Ming-Deh A. Huang, Kireeti Kompella:
Efficient Checkers for Number-Theoretic Computations.
93-102 BibTeX
- Peter Clote:
Cutting plane and Frege proofs.
103-122 BibTeX
- Iain A. Stewart:
Completeness of Path-Problems via Logical Reductions.
123-134 BibTeX
Volume 121, Number 2, September 1995
- Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu:
P, NP and the Post Correspondence Problem.
135-142 BibTeX
- Søren Christensen, Hans Hüttel, Colin Stirling:
Bisimulation Equivalence is Decidable for All Context-Free Processes.
143-148 BibTeX
- Walter Vogler:
Timed Testing of Concurrent Systems.
149-171 BibTeX
- Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder:
Basic Paramodulation.
172-192 BibTeX
- David A. McAllester, J. Kucan, D. F. Otth:
A Proof of Strong Normalization of F_2, F_omega and Beyond.
193-200 BibTeX
- Sanjay Jain, Arun Sharma, Mahendran Velauthapillai:
Finite Identification of Functions by Teams with Success Ratio 1\over2 and Above.
201-213 BibTeX
- Nancy A. Lynch, Frits W. Vaandrager:
Forward and Backward Simulations: I. Untimed Systems.
214-233 BibTeX
- Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka:
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities.
234-255 BibTeX
- Yoav Freund:
Boosting a Weak Learning Algorithm by Majority.
256-285 BibTeX
Copyright © Sat May 16 23:59:58 2009
by Michael Ley (ley@uni-trier.de)