default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 78
Volume 78, Numbers 1-3, 4 April 1996
- Yuri V. Matiyasevich, Anil Nerode:
Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg". Ann. Pure Appl. Log. 78(1-3): 1 (1996) - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
