Logic at Botik 1989: Pereslav-Zalessky, USSR

Albert R. Meyer, Michael A. Taitslin (Eds.): Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings. Lecture Notes in Computer Science 363 Springer 1989, ISBN 3-540-51237-3 BibTeX

@proceedings{DBLP:conf/ershov/1989,
  editor    = {Albert R. Meyer and
               Michael A. Taitslin},
  title     = {Logic at Botik '89, Symposium on Logical Foundations of Computer
               Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
  booktitle = {Logic at Botik},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {363},
  year      = {1989},
  isbn      = {3-540-51237-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Samson Abramsky: Observational Logic and Process Semantics (Abstract). 1 BibTeX
Dmitry A. Archangelsky, Mikhail A. Taitslin: A Logic for Data Description. 2-11 BibTeX
David A. Basin: Building Theories in Nuprl. 12-25 BibTeX
Bard Bloom, Albert R. Meyer: A Remark on Bisimulation Between Probabilistic Processes. 26-40 BibTeX
José Carmo, Amílcar Sernadas: Inevitability in Branching Time. 41-62 BibTeX
Ludmila Cherkasova, Alexander S. Filurin: Concurrent Processes with Synchronization: Net and Algebraic Approach. 63-80 BibTeX
Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan: A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. 81-90 BibTeX
Dmitry O. Daderkin: On A Class of Unoids. 91-100 BibTeX
A. Ja. Dikovskii: Space Considerations in Prolog. 101-107 BibTeX
Yuri Gurevich, Saharon Shelah: Nearly Linear Time. 108-118 BibTeX
Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones: Experiments with Implementations of Two Theoretical Constructions. 119-133 BibTeX
Maritta Heisel, Wolfgang Reif, Werner Stephan: A Dynamic Logic for Program Verification. 134-145 BibTeX
Yoram Hirshfeld, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot: Discerning Causality in Interleaving Behavior. 146-162 BibTeX
Hans Hüttel, Kim Guldstrand Larsen: The Use of Static Constructs in A Modal Process Logic. 163-180 BibTeX
Max I. Kanovich: What is the Logic of Computational Tasks? 181-185 BibTeX
A. J. Kfoury, Pawel Urzyczyn: Algo-Like Languages with Higher-Order Procedures and Their Expressive Power. 186-199 BibTeX
Joachim Lambek: Fixpoints Revisited. 200-207 BibTeX
Yiannis N. Moschovakis: A Mathematical Modeling of Pure, Recursive Algorithms. 208-229 BibTeX
Vladimir Yu. Sazonov: A Category of Many-Sorted Algebraic Theories Which is Equivalent to the Category of Categories with Finite Products. 230-244 BibTeX
Grigori F. Shvarts: Gentzen Style Systems for K45 and K45D. 245-256 BibTeX
Dimiter Vakarelov: Modal Logics for Knowledge Representation Systems. 257-277 BibTeX
Wieslaw Zielonka: Safe Executions of Recognizable Trace Languages by Asynchronous Automata. 278-289 BibTeX