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