The SCEAS System
Navigation Menu

Conferences in DBLP

Logical Foundations of Computer Science (LFCS) (lfcs)
1994 (conf/lfcs/1994)

  1. Farid M. Ablayev
    Lower Bounds for Probabilistic Space Complexity: Communication-Automata Approach. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:1-7 [Conf]
  2. Henrik Reif Andersen
    On Model Checking Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:8-17 [Conf]
  3. Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin
    Concurrency Problem for Horn Fragment of Girard's Linear Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:18-22 [Conf]
  4. Sergei N. Artëmov, Vladimir Krupski
    Referential Data Structures and Labeled Modal Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:23-33 [Conf]
  5. Andrea Asperti, Giovanna M. Dore
    Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:34-46 [Conf]
  6. Sergey Berezin, Nikolay V. Shilov
    An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:47-55 [Conf]
  7. Carolyn Brown, Alan Jeffrey
    Allegories of Circuits. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:56-68 [Conf]
  8. Cheng-Chia Chen, I-Peng Lin
    The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:69-80 [Conf]
  9. Alex Dekhtyar
    Multiplicative Linear Logic for Resource Transformation Nets. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:81-88 [Conf]
  10. Michael T. Hallett, Harold T. Wareham
    The Parameterized Complexity of Some Problems in Logic and Linguistics. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:89-100 [Conf]
  11. Didier Galmiche, Guy Perrier
    Foundations of Proof Search Strategies Design in Linear Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:101-113 [Conf]
  12. Xiaolin Ge, Anil Nerode
    On Extreme Points of Convex Compact Turing Located Set. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:114-128 [Conf]
  13. Silvia Ghilezan
    Application of Typed Lambda Calculi in the Untyped Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:129-139 [Conf]
  14. Sergei S. Goncharov, S. A. Badaev
    Classes with Pairwise Equivalent Enumerations. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:140-141 [Conf]
  15. Philippe de Groote
    Strong Normalization in a Non-Deterministic Typed Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:142-152 [Conf]
  16. Bernhard Heinemann
    On Expressive Completeness of Modal Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:153-163 [Conf]
  17. Raymond Hoofman
    Comparing Models of the Non-Extensional Typed Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:164-172 [Conf]
  18. Bart Jacobs
    Coalgebras and Approximation. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:173-183 [Conf]
  19. Max I. Kanovich
    Computational and Concurrency Models of Linear Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:184-190 [Conf]
  20. Zurab Khasidashvili
    The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:191-203 [Conf]
  21. Bakhadyr Khoussainov, Anil Nerode
    The Notion of Rank and Games. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:204-217 [Conf]
  22. Mikle Kuchuganov
    A Predicate Logic of Well-Founded Actions. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:218-226 [Conf]
  23. Daniel Leivant
    Predicative Recurrence in Finite Types. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:227-239 [Conf]
  24. Johann A. Makowsky, Y. B. Pnueli
    Arity vs. Alternation in Second Order Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:240-252 [Conf]
  25. Hanno Nickau
    Hereditarily Sequential Functionals. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:253-264 [Conf]
  26. Ulrich Nitsche
    Propositional Linear Temporal Logic and Language Homomorphisms. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:265-277 [Conf]
  27. Ramón Pino Pérez, Christian Even
    An Abstract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:278-290 [Conf]
  28. Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal
    On Specialization of Derivations in Axiomatic Equality Theories. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:291-303 [Conf]
  29. Vladimir V. Rybakov
    Preserving of Admissible Inference Rules in Modal Logics. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:304-315 [Conf]
  30. Paula Severi, Erik Poll
    Pure Type Systems with Definitions. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:316-328 [Conf]
  31. Tatiana Sidon
    Craig Interpolation Property in Modal Logics with Provability Interpretation. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:329-340 [Conf]
  32. Bonnie Traylor, Michael Gelfond
    Representing Null Values in Logic Programming. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:341-352 [Conf]
  33. Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
    Comparing Cubes. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:353-365 [Conf]
  34. Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer
    A Logic of Capabilities. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:366-378 [Conf]
  35. Vincent van Oostrom, Femke van Raamsdonk
    Weak Orthogonality Implies Confluence: The Higher Order Case. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:379-392 [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