|
|
Conferences in DBLP
On the Expressiveness and Complexity of Randomization in Finite State Monitors. [Citation Graph (, )][DBLP]
Combining Generic Judgments with Recursive Definitions. [Citation Graph (, )][DBLP]
Mechanizing the Metatheory of LF. [Citation Graph (, )][DBLP]
Second-Order and Dependently-Sorted Abstract Syntax. [Citation Graph (, )][DBLP]
Structural Logical Relations. [Citation Graph (, )][DBLP]
Types for Hereditary Permutators. [Citation Graph (, )][DBLP]
Context Matching for Compressed Terms. [Citation Graph (, )][DBLP]
Nonlocal Flow of Control and Kleene Algebra with Tests. [Citation Graph (, )][DBLP]
A Logic for Algebraic Effects. [Citation Graph (, )][DBLP]
An Algebraic Process Calculus. [Citation Graph (, )][DBLP]
On the Expressiveness and Decidability of Higher-Order Process Calculi. [Citation Graph (, )][DBLP]
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. [Citation Graph (, )][DBLP]
General Structural Operational Semantics through Categorical Logic. [Citation Graph (, )][DBLP]
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs. [Citation Graph (, )][DBLP]
Winning Regions of Higher-Order Pushdown Games. [Citation Graph (, )][DBLP]
The Ordinal Recursive Complexity of Lossy Channel Systems. [Citation Graph (, )][DBLP]
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. [Citation Graph (, )][DBLP]
From Axioms to Analytic Rules in Nonclassical Logics. [Citation Graph (, )][DBLP]
Focusing on Binding and Computation. [Citation Graph (, )][DBLP]
A First-Order Representation of Pure Type Systems Using Superdeduction. [Citation Graph (, )][DBLP]
The Quest for a Logic Capturing PTIME. [Citation Graph (, )][DBLP]
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity. [Citation Graph (, )][DBLP]
On the Computational Complexity of Cut-Reduction. [Citation Graph (, )][DBLP]
Maltsev + Datalog --> Symmetric Datalog. [Citation Graph (, )][DBLP]
Caterpillar Duality for Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]
Quantified Constraints and Containment Problems. [Citation Graph (, )][DBLP]
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule. [Citation Graph (, )][DBLP]
Typed Normal Form Bisimulation for Parametric Polymorphism. [Citation Graph (, )][DBLP]
Reachability Games and Game Semantics: Comparing Nondeterministic Programs. [Citation Graph (, )][DBLP]
Weak Topology and a Differentiable Operator for Lipschitz Maps. [Citation Graph (, )][DBLP]
A Logical Characterization of Individual-Based Models. [Citation Graph (, )][DBLP]
The Satisfiability Problem for Probabilistic CTL. [Citation Graph (, )][DBLP]
The Axiomatic Derivation of Absolute Lower Bounds. [Citation Graph (, )][DBLP]
Definable Tree Decompositions. [Citation Graph (, )][DBLP]
Hypergraph Acyclicity and Extension Preservation Theorems. [Citation Graph (, )][DBLP]
From Automatic Structures to Borel Structures. [Citation Graph (, )][DBLP]
Piecewise Testable Tree Languages. [Citation Graph (, )][DBLP]
Collapsible Pushdown Automata and Recursion Schemes. [Citation Graph (, )][DBLP]
The Geometry of Interaction of Differential Interaction Nets. [Citation Graph (, )][DBLP]
Correctness of Multiplicative Additive Proof Structures is NL-Complete. [Citation Graph (, )][DBLP]
Cut Elimination for Monomial MALL Proof Nets. [Citation Graph (, )][DBLP]
A Neutral Approach to Proof and Refutation in MALL. [Citation Graph (, )][DBLP]
|
