Annals of Pure and Applied Logic, Volume 67

Volume 67, Numbers 1-3, 17 May 1994

• Anil Nerode, Michael A. Taitslin: A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface. 1 BibTeX
• Dmitry A. Archangelsky, Mikhail A. Taitslin: Linear Logic with Fixed Resources. 3-28 BibTeX
• Sergei N. Artëmov: Logic of Proofs. 29-59 BibTeX
• Frank A. Bäuerle, Jeffrey B. Remmel: On Speedable and Levelable Vector Spaces. 61-112 BibTeX
• Robert Harper, Donald Sannella, Andrzej Tarlecki: Structured Theory Presentations and Logic Representations. 113-160 BibTeX
• Vadim Kagan, Anil Nerode, V. S. Subrahmanian: Computing Definite Logic Programs by Partial Instantiation. 161-182 BibTeX
• Max I. Kanovich: Linear Logic as a Logic of Computations. 183-212 BibTeX
• Bakhadyr Khoussainov: Recursive Unary Algebras and Trees. 213-268 BibTeX
• V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. 269-323 BibTeX
• Yuri Matiyasevich: A Direct Method for Simulating Partial Recursive Functions by Diophantine Equations. 325-348 BibTeX