Logic at Botik

Keyphrases

Publications

1989

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

volume 363, 1989

Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings Logic at Botik 363 (1989)