The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Dmitry A. Archangelsky, Mikhail A. Taitslin
    Modular Linear Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:1-8 [Conf]
  2. Ganesh Baliga, John Case, Sanjay Jain, Mandayam Suraj
    Machine Learning of Higher Order Programs. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:9-20 [Conf]
  3. Richard Beigel, Martin Kummer, Frank Stephan
    Quantifying the Amount of Verboseness. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:21-32 [Conf]
  4. P. N. Benton
    Strictness Logic and Polymorphic Invariance. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:33-44 [Conf]
  5. Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama
    Preference Logics and Non-Monotonicity in Logic Programming. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:45-56 [Conf]
  6. A. Calò, Johann A. Makowsky
    The Ehrenfeucht-Fraisse Games for Transitive Closure. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:57-68 [Conf]
  7. Karlis Cerans
    Feasibility of Finite and Infinite Paths in Data Dependent Programs. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:69-80 [Conf]
  8. Liang Chen
    An Interleaving Model for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:81-92 [Conf]
  9. Søren Christensen
    A Logical Characterization of Asynchronously Communicating Agents. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:93-104 [Conf]
  10. Philippe de Groote
    Denotations for Classical Proofs - Preliminary Results. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:105-116 [Conf]
  11. Nachum Dershowitz, Edward M. Reingold
    Ordinal Arithmetic with List Structures. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:117-126 [Conf]
  12. Abbas Edalat
    Continuous I-Categories. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:127-138 [Conf]
  13. Melvin Fitting
    Many-Valued Non-Monotonic Modal Logics. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:139-150 [Conf]
  14. Didier Galmiche, Guy Perrier
    Automated Deduction in Additive and Multiplicative Linear Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:151-162 [Conf]
  15. B. Gamatie
    Intensionally Stable Functions. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:163-173 [Conf]
  16. Arvind Gupta
    A Constructive Proof that Trees Are Well-Quasi-Ordered Under Minors. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:174-185 [Conf]
  17. Lane A. Hemachandra, Sanjay Jain, Nikolai K. Vereshchagin
    Banishing Robust Turing Completeness. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:186-197 [Conf]
  18. Sachio Hirokawa
    Balanced Formulas, BCK-Minimal Formulas and Their Proofs. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:198-208 [Conf]
  19. Raymond Hoofman
    Non-Stable Models of Linear Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:209-220 [Conf]
  20. Andy King, Paul Soper
    Ordering Optimizations for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:221-228 [Conf]
  21. Peter M. W. Knijnenburg, Frank Nordemann
    A Categorical Interpretation of Partial Function Logic and Hoare Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:229-240 [Conf]
  22. Nikolai K. Kossovsky, A. B. Prokhoroff
    The Polynominal Complexity of Conjunctive Normal Form Satisfiability, when the Number of Conjunctions and Negations is Limited. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:241-245 [Conf]
  23. Sergey V. Kotov
    Typed lamda-Calculus with Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:246-257 [Conf]
  24. Kevin Lano
    Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:258-268 [Conf]
  25. Frank Lesske
    Constructive Specifications of Abstract Data Types Using Temporal Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:269-280 [Conf]
  26. Renwei Li, José Carmo
    An Interval-Based Modal Logic for System Specification. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:281-292 [Conf]
  27. Zhaohui Luo
    A Unifying Theory of Dependent Types: The Schematic Approach. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:293-304 [Conf]
  28. V. P. Makarov
    MSL - A Mathematical Specification Language. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:305-313 [Conf]
  29. Aristide Mégrelis
    Partial Algebra + Order-Sorted Algebra = Galactic Algebra. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:314-325 [Conf]
  30. Alberto Momigliano
    Minimal Negation and Hereditary Harrop Formulae. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:326-335 [Conf]
  31. John Mullins
    Kleene Automata and Recursion Theory. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:336-346 [Conf]
  32. Alan Mycroft
    Incremental Polymorphic Type Checking with Update. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:347-357 [Conf]
  33. Jan A. Plaza
    Operators on Lattices of omega-Herbrand Interpretations. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:358-369 [Conf]
  34. Aida Pliuskeviciene
    Sequential Calculus for Proving the Properties of Regular Programs. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:370-381 [Conf]
  35. Regimantas Pliuskevicius
    Complete Sequential Calculi for the First Order Symmetrical Linear Temporal Logic with Until and Since. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:382-393 [Conf]
  36. Alexander Moshe Rabinovich
    Non Modularity and Expressibility for Nets of Relations. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:394-405 [Conf]
  37. Wolfgang Reif
    Correctness of Generic Modules. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:406-417 [Conf]
  38. Kamel Sadi, François Meunier
    An And-Parallelism Cooperative Scheme for Full Prolog Interpreters on a Transputer-Based Architecture. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:418-429 [Conf]
  39. Jurate Sakalauskaite
    A Sequent Calculus for a First Order Linear Temporal Logic with Equality. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:430-440 [Conf]
  40. Bernd-Holger Schlingloff
    On the Expressive Power of Modal Logics on Trees. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:441-451 [Conf]
  41. Nikolay V. Shilov
    Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:452-458 [Conf]
  42. Dieter Spreen
    Effective Operators and Continuity Revisited. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:459-469 [Conf]
  43. Iain A. Stewart
    Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:470-479 [Conf]
  44. Jerzy Tiuryn
    Solving Equational Constraints in Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:480-492 [Conf]
  45. Sergei Tupailo
    Gentzen-Style and Novikov-Style Cut-Elimination. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:493-502 [Conf]
  46. Wiebe van der Hoek, John-Jules Ch. Meyer
    Graded Modalities in Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:503-514 [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