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
Copyright © Sat May 16 23:10:34 2009
by Michael Ley (ley@uni-trier.de)