Conferences in DBLP
Dmitry A. Archangelsky , Mikhail A. Taitslin Modular Linear Logic. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:1-8 [Conf ] 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 ] Richard Beigel , Martin Kummer , Frank Stephan Quantifying the Amount of Verboseness. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:21-32 [Conf ] P. N. Benton Strictness Logic and Polymorphic Invariance. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:33-44 [Conf ] 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 ] A. Calò , Johann A. Makowsky The Ehrenfeucht-Fraisse Games for Transitive Closure. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:57-68 [Conf ] Karlis Cerans Feasibility of Finite and Infinite Paths in Data Dependent Programs. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:69-80 [Conf ] Liang Chen An Interleaving Model for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:81-92 [Conf ] Søren Christensen A Logical Characterization of Asynchronously Communicating Agents. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:93-104 [Conf ] Philippe de Groote Denotations for Classical Proofs - Preliminary Results. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:105-116 [Conf ] Nachum Dershowitz , Edward M. Reingold Ordinal Arithmetic with List Structures. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:117-126 [Conf ] Abbas Edalat Continuous I-Categories. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:127-138 [Conf ] Melvin Fitting Many-Valued Non-Monotonic Modal Logics. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:139-150 [Conf ] Didier Galmiche , Guy Perrier Automated Deduction in Additive and Multiplicative Linear Logic. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:151-162 [Conf ] B. Gamatie Intensionally Stable Functions. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:163-173 [Conf ] Arvind Gupta A Constructive Proof that Trees Are Well-Quasi-Ordered Under Minors. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:174-185 [Conf ] Lane A. Hemachandra , Sanjay Jain , Nikolai K. Vereshchagin Banishing Robust Turing Completeness. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:186-197 [Conf ] Sachio Hirokawa Balanced Formulas, BCK-Minimal Formulas and Their Proofs. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:198-208 [Conf ] Raymond Hoofman Non-Stable Models of Linear Logic. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:209-220 [Conf ] Andy King , Paul Soper Ordering Optimizations for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:221-228 [Conf ] 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 ] 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 ] Sergey V. Kotov Typed lamda-Calculus with Recursive Definitions. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:246-257 [Conf ] Kevin Lano Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:258-268 [Conf ] Frank Lesske Constructive Specifications of Abstract Data Types Using Temporal Logic. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:269-280 [Conf ] Renwei Li , José Carmo An Interval-Based Modal Logic for System Specification. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:281-292 [Conf ] Zhaohui Luo A Unifying Theory of Dependent Types: The Schematic Approach. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:293-304 [Conf ] V. P. Makarov MSL - A Mathematical Specification Language. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:305-313 [Conf ] Aristide Mégrelis Partial Algebra + Order-Sorted Algebra = Galactic Algebra. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:314-325 [Conf ] Alberto Momigliano Minimal Negation and Hereditary Harrop Formulae. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:326-335 [Conf ] John Mullins Kleene Automata and Recursion Theory. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:336-346 [Conf ] Alan Mycroft Incremental Polymorphic Type Checking with Update. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:347-357 [Conf ] Jan A. Plaza Operators on Lattices of omega-Herbrand Interpretations. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:358-369 [Conf ] Aida Pliuskeviciene Sequential Calculus for Proving the Properties of Regular Programs. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:370-381 [Conf ] 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 ] Alexander Moshe Rabinovich Non Modularity and Expressibility for Nets of Relations. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:394-405 [Conf ] Wolfgang Reif Correctness of Generic Modules. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:406-417 [Conf ] 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 ] 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 ] Bernd-Holger Schlingloff On the Expressive Power of Modal Logics on Trees. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:441-451 [Conf ] 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 ] Dieter Spreen Effective Operators and Continuity Revisited. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:459-469 [Conf ] Iain A. Stewart Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:470-479 [Conf ] Jerzy Tiuryn Solving Equational Constraints in Polymorphic Types. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:480-492 [Conf ] Sergei Tupailo Gentzen-Style and Novikov-Style Cut-Elimination. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:493-502 [Conf ] Wiebe van der Hoek , John-Jules Ch. Meyer Graded Modalities in Epistemic Logic. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:503-514 [Conf ]