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
- Dmitry A. Archangelsky, Michael I. Dekhtyar, Mikhail A. Taitslin:
Linear Logic for Nets with Bounded Resources.
3-28
- Marat M. Arslanov, Steffen Lempp, Richard A. Shore:
Interpolating d-r.e. and REA Degrees between r.e. Degrees.
29-56
- Sergei N. Artëmov, Vladimir Krupski:
Data Storage Interpretation of Labeled Modal Logic.
57-71
- Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh:
Topological Reasoning and the Logic of Knowledge.
73-110
- Thomas Eiter, Georg Gottlob, Yuri Gurevich:
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.
111-125
- Xiaolin Ge, Anil Nerode:
Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma.
127-146
- Max I. Kanovich:
Linear Logic Automata.
147-188
- Johann A. Makowsky, Y. B. Pnueli:
Arity and Alternation in Second-Order Logic.
189-202
- Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
McNaughton Games and Extracting Strategies for Concurrent Programs.
203-242
- Victor L. Selivanov:
On Recursively Enumerable Structures.
243-258
- Saharon Shelah:
Was Sierpinski Right? III: Can Continuum-cc. Times c.c.c. be Continuum-c.c.?
259-269
Last update Mon May 20 16:23:29 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
