Volume 78,
Numbers 1-3,
4 April 1996
Special Volume:
Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg"
- Yuri Matiyasevich, Anil Nerode:
Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science ``Logic at St. Petersburg''.
1 BibTeX
- Dmitry A. Archangelsky, Michael I. Dekhtyar, Mikhail A. Taitslin:
Linear Logic for Nets with Bounded Resources.
3-28 BibTeX
- Marat M. Arslanov, Steffen Lempp, Richard A. Shore:
Interpolating d-r.e. and REA Degrees between r.e. Degrees.
29-56 BibTeX
- Sergei N. Artëmov, Vladimir Krupski:
Data Storage Interpretation of Labeled Modal Logic.
57-71 BibTeX
- Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh:
Topological Reasoning and the Logic of Knowledge.
73-110 BibTeX
- Thomas Eiter, Georg Gottlob, Yuri Gurevich:
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.
111-125 BibTeX
- Xiaolin Ge, Anil Nerode:
Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma.
127-146 BibTeX
- Max I. Kanovich:
Linear Logic Automata.
147-188 BibTeX
- Johann A. Makowsky, Y. B. Pnueli:
Arity and Alternation in Second-Order Logic.
189-202 BibTeX
- Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
McNaughton Games and Extracting Strategies for Concurrent Programs.
203-242 BibTeX
- Victor L. Selivanov:
On Recursively Enumerable Structures.
243-258 BibTeX
- Saharon Shelah:
Was Sierpinski Right? III: Can Continuum-cc. Times c.c.c. be Continuum-c.c.?
259-269 BibTeX
Copyright © Sat May 16 23:50:43 2009
by Michael Ley (ley@uni-trier.de)