Conferences in DBLP
Roger M. Needham Logic and Over-Simplification. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Grohe Fixed-Point Logics on Planar Graphs. [Citation Graph (1, 0)][DBLP ] Conf ] Thomas Eiter , Georg Gottlob , Yuri Gurevich Existential Second-Order Logic over Strings. [Citation Graph (0, 0)][DBLP ] Conf ] Anuj Dawar , Lauri Hella , Anil Seth Ordering Finite Variable Types with Generalized Quantifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Jaeger Convergence Results for Relational Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Charatonik , David A. McAllester , Damian Niwinski , Andreas Podelski , Igor Walukiewicz The Horn Mu-calculus. [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson , Kedar S. Namjoshi On Model Checking for Non-Deterministic Infinite-State Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Kupferman , Moshe Y. Vardi Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. [Citation Graph (0, 0)][DBLP ] Conf ] George C. Necula , Peter Lee Efficient Representation and Validation of Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Martín Abadi , Cédric Fournet , Georges Gonthier Secure Implementation of Channel Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Ofer Arieli , Arnon Avron The Logical Role of the Four-Valued Bilattice. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo F. Frias , Roger D. Maddux Completeness of a Relational Calculus for Program Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Thomas Monadic Logic and Automata: Recent Developments. [Citation Graph (0, 0)][DBLP ] Conf ] François Fages , Paul Ruet , Sylvain Soliman Phase Semantics and Verification of Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Karen L. Bernstein A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Boreale , Davide Sangiorgi Bisimulation in Name-Passing Calculi without Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Parrow , Björn Victor The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes [Citation Graph (0, 0)][DBLP ] Conf ] Lars Birkedal , Aurelio Carboni , Giuseppe Rosolini , Dana S. Scott Type Theory via Exact Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Hermida , Michael Makkai , John Power Higher Dimensional Multigraphs. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Johnstone , John Power , Toru Tsujishita , Hiroshi Watanabe , James Worrell An Axiomatics for Categories of Transition Systems as Coalgebras. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Luca Cattani , Marcelo P. Fiore , Glynn Winskel A Theory of Recursive Domains with Applications to Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk van Dalen L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments. [Citation Graph (0, 0)][DBLP ] Conf ] Johan van Benthem Process Operations in Extended Dynamic Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Voronkov Herbrand's Theorem, Automated Reasoning and Semantics Tableaux. [Citation Graph (0, 0)][DBLP ] Conf ] Margus Veanes The Relation Between Second-Order Unification and Simultaneous Rigid E -Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Comon , Paliath Narendran , Robert Nieuwenhuis , Michaël Rusinowitch Decision Problems in Ordered Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Paul-André Melliès A Stability Theorem in Rewriting Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Asperti Light Affine Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Mackie Linear Logic With Boxes. [Citation Graph (0, 0)][DBLP ] Conf ] Maribel Fernández , Ian Mackie Coinductive Techniques for Operational Equivalence of Interaction Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Samson Abramsky , Kohei Honda , Guy McCusker A Fully Abstract Game Semantics for General References. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo P. Fiore , Kohei Honda Recursive Types in Games: Axiomatics and Process Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Tatsuta Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Hirofumi Yokouchi Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Ramesh Viswanathan Full Abstraction for First-Order Objects with Recursive Types and Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Y. Vardi Linear vs. Branching Time: A Complexity-Theoretic Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Dusko Pavlovic , Martín Hötzel Escardó Calculus in Coinductive Form. [Citation Graph (0, 0)][DBLP ] Conf ] Enno Folkerts Invertibility in lambda-eta. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Müller , Joachim Niehren , Ralf Treinen The First-Order Theory of Ordering Constraints over Feature Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Johannsen , Chris Pollett On Proofs about Threshold Circuits and Counting Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene W. Stark , Scott A. Smolka Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Josee Desharnais , Abbas Edalat , Prakash Panangaden A Logical Characterization of Bisimulation for Labeled Markov Processes. [Citation Graph (0, 0)][DBLP ] Conf ] John T. Baldwin , Michael Benedikt Embedded Finite Models, Stability Theory and the Impact of Order. [Citation Graph (0, 0)][DBLP ] Conf ] Leonid Libkin On Counting Logics and Local Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Phokion G. Kolaitis , Martin Otto On the Boundedness Problem for Two-Variable First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marie Le Bars Fragments of Existential Second-Order Logic without 0-1 Laws. [Citation Graph (0, 0)][DBLP ] Conf ] 