Data-Oblivious Stream Productivity

Datalog and Constraint Satisfaction with Infinite Templates

Dealing With Logical Omniscience: Expressiveness and Pragmatics

Debugging of Web Applications with Web-TLR

Decidability of Existence and Construction of a Complement of a given Function

Decidability of higher-order matching

Decidability of the interval temporal logic ABBar over the natural numbers

Decidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations

Decidability properties for fragments of CHR

Decidable Expansions of Labelled Linear Orderings

Deciding Entailment of Implications with Support and Confidence in Polynomial Space

Deciding Kleene Algebras in Coq

Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

Deciding Reachability for 3-Dimensional Multi-Linear Systems

Deciding regular grammar logics with converse through first-order logic

Deciding security properties for cryptographic protocols. Application to key cycles

Decision Problems for Petri Nets with Names

Decision Problems For Turing Machines

Decisive Markov Chains

Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs