Conferences in DBLP
Sergei N. Artëmov , Jennifer M. Davoren , Anil Nerode Topological Semantics for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Barthe , Morten Heine Sørensen Domain-Free Pure Type Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Oleg V. Belegradek , Alexei P. Stolboushkin , Michael A. Taitslin Generic Queries over Quasy-o-minimal Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Bukatin , Joshua S. Scott Towards Computing Distances Between Programs via Scott Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Clote A Safe Recursion Scheme for Exponential Time. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Courcelle Finite Model Theory, Universal Algebra and Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Evgeny Dantsin , Andrei Voronkov Complexity of Query Answering in Logic Databases with Complex Values. [Citation Graph (0, 0)][DBLP ] Conf ] Michael I. Dekhtyar , Alexander Ja. Dikovsky Recognition of Deductive Data Base Stability. [Citation Graph (0, 0)][DBLP ] Conf ] Sergey Dudakov The Concurrency Complexity for the Horn Fragment of Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Valery Durnev Studying Algorithmic Problems for Free Semi-groups and Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Rusins Freivalds , Gints Tervits , Rolf Wiehagen , Carl H. Smith Learning Small Programs with Additional Information. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gavrilovich Cut Elimination for the Second Order Propositional Logic with Hilbert's epsilon-symbol, Extensionality, and Full Comprehension. [Citation Graph (0, 0)][DBLP ] Conf ] Mikhail Golovanov Finite Bases of Admissible Rules for the Logic S52C. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe de Groote An Algebraic Correctness Criterion for Intuitionistic Proof-Nets. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel Towards a Theory of Recursive Structures (extended abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Heinemann On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Alexey P. Kopylov The Undecidability of Second Order Linear Affine Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Krupski Operational Logic of Proofs with Functionality Condition on Proof Predicate. [Citation Graph (0, 0)][DBLP ] Conf ] Alexei Lisitsa , Vladimir Yu. Sazonov On Linear Ordering of Strongly Extensional Finitely-Branching Graphs and Non-well-founded Sets. [Citation Graph (0, 0)][DBLP ] Conf ] G. S. Makanin , Habib Abdulrab , Pavel Goralcik Functions for the General Solution of Parametric Word Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Evgeny Makarov A Proof Procedure for Hereditary Harrop Formulas with Free Equality. [Citation Graph (0, 0)][DBLP ] Conf ] V. Wiktor Marek , Anil Nerode , Jeffrey B. Remmel Basic Forward Chaining Construction for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Margenstern Decidability and Undecidability of the Halting Problem on Turing Machines, a Survey. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Yves Marion Case Study: Additive Linear Logic and Lattices. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri Matiyasevich Some Decision Problems for Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Grigori Mints Existential Instantiation and Strong Normalization. [Citation Graph (0, 0)][DBLP ] Conf ] Alexey Mkrtychev Models for the Logic of Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Nitsche Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Hitoshi Ohsaki , Aart Middeldorp Type Introduction for Equational Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Otto Capturing Bisimulation-Invariant Ptime. [Citation Graph (0, 0)][DBLP ] Conf ] Mati Pentus Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Perrier A Decidable Fragment of Second Order Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Rents , Nikolay V. Shilov Some Results on Propositional Dynamic Logic with Fixed Points. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir V. Rybakov Quasi-Characteristic Inference Rules for Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Tatiana Sidon Provability Logic with Operations on Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Robert F. Stärk Formal Verification of Logic Programs: Foundations and Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Igor L. Tandetnik Unification of Terms with Term-Indexed Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Igor V. Tarasyuk Back-Forth Equivalences for Design of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory S. Tseytin Association Nets: an Alternative Formalization of Common Thinking. [Citation Graph (0, 0)][DBLP ] Conf ] Hongwei Xi Simulating eta-expansions with beta-reductions in the Second-Order Polymorphic lambda-calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Rostislav E. Yavorsky Logical Schemes for First-Order Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir A. Zakharov Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Forms. [Citation Graph (0, 0)][DBLP ] Conf ] 