Conferences in DBLP
Farid M. Ablayev Lower Bounds for Probabilistic Space Complexity: Communication-Automata Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Reif Andersen On Model Checking Infinite-State Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 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 ] Conf ] Sergei N. Artëmov , Vladimir Krupski Referential Data Structures and Labeled Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Asperti , Giovanna M. Dore Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX. [Citation Graph (0, 0)][DBLP ] Conf ] 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 ] Conf ] Carolyn Brown , Alan Jeffrey Allegories of Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] 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 ] Conf ] Alex Dekhtyar Multiplicative Linear Logic for Resource Transformation Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Michael T. Hallett , Harold T. Wareham The Parameterized Complexity of Some Problems in Logic and Linguistics. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Galmiche , Guy Perrier Foundations of Proof Search Strategies Design in Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaolin Ge , Anil Nerode On Extreme Points of Convex Compact Turing Located Set. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Ghilezan Application of Typed Lambda Calculi in the Untyped Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei S. Goncharov , S. A. Badaev Classes with Pairwise Equivalent Enumerations. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe de Groote Strong Normalization in a Non-Deterministic Typed Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Heinemann On Expressive Completeness of Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond Hoofman Comparing Models of the Non-Extensional Typed Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Jacobs Coalgebras and Approximation. [Citation Graph (0, 0)][DBLP ] Conf ] Max I. Kanovich Computational and Concurrency Models of Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Zurab Khasidashvili The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bakhadyr Khoussainov , Anil Nerode The Notion of Rank and Games. [Citation Graph (0, 0)][DBLP ] Conf ] Mikle Kuchuganov A Predicate Logic of Well-Founded Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Leivant Predicative Recurrence in Finite Types. [Citation Graph (0, 0)][DBLP ] Conf ] Johann A. Makowsky , Y. B. Pnueli Arity vs. Alternation in Second Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Hanno Nickau Hereditarily Sequential Functionals. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Nitsche Propositional Linear Temporal Logic and Language Homomorphisms. [Citation Graph (0, 0)][DBLP ] Conf ] 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 ] Conf ] Aida Pliuskeviciene , Regimantas Pliuskevicius , Michal Walicki , Sigurd Meldal On Specialization of Derivations in Axiomatic Equality Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir V. Rybakov Preserving of Admissible Inference Rules in Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Paula Severi , Erik Poll Pure Type Systems with Definitions. [Citation Graph (0, 0)][DBLP ] Conf ] Tatiana Sidon Craig Interpolation Property in Modal Logics with Provability Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Bonnie Traylor , Michael Gelfond Representing Null Values in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen van Bakel , Luigi Liquori , Simona Ronchi Della Rocca , Pawel Urzyczyn Comparing Cubes. [Citation Graph (0, 0)][DBLP ] Conf ] Wiebe van der Hoek , Bernd van Linder , John-Jules Ch. Meyer A Logic of Capabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent van Oostrom , Femke van Raamsdonk Weak Orthogonality Implies Confluence: The Higher Order Case. [Citation Graph (0, 0)][DBLP ] Conf ] 