Data complexity of answering conjunctive queries over SHIQ knowledge bases

Data linkage algebra, data linkage dynamics, and priority rewriting

Data linkage dynamics with shedding

Data-Complexity of the Two-Variable Fragment with Counting Quantifiers

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