The SCEAS System
Navigation Menu

Conferences in DBLP

Ershov Memorial Conference (ershov)
1989 (conf/ershov/1989)

  1. Samson Abramsky
    Observational Logic and Process Semantics (Abstract). [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:1- [Conf]
  2. Dmitry A. Archangelsky, Mikhail A. Taitslin
    A Logic for Data Description. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:2-11 [Conf]
  3. David A. Basin
    Building Theories in Nuprl. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:12-25 [Conf]
  4. 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]
  5. José Carmo, Amílcar Sernadas
    Inevitability in Branching Time. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:41-62 [Conf]
  6. 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]
  7. 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]
  8. Dmitry O. Daderkin
    On A Class of Unoids. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:91-100 [Conf]
  9. A. Ja. Dikovskii
    Space Considerations in Prolog. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:101-107 [Conf]
  10. Yuri Gurevich, Saharon Shelah
    Nearly Linear Time. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:108-118 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Max I. Kanovich
    What is the Logic of Computational Tasks? [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:181-185 [Conf]
  16. 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]
  17. Joachim Lambek
    Fixpoints Revisited. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:200-207 [Conf]
  18. Yiannis N. Moschovakis
    A Mathematical Modeling of Pure, Recursive Algorithms. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:208-229 [Conf]
  19. 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]
  20. Grigori F. Shvarts
    Gentzen Style Systems for K45 and K45D. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:245-256 [Conf]
  21. Dimiter Vakarelov
    Modal Logics for Knowledge Representation Systems. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:257-277 [Conf]
  22. Wieslaw Zielonka
    Safe Executions of Recognizable Trace Languages by Asynchronous Automata. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:278-289 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002