Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps

Disjunction and modular goal-directed proof search

Disjunctive ASP with Functions: Decidable Queries and Effective Computation

Disjunctive Logic Programs with Inheritance

Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis

Distances for Weighted Transition Systems: Games and Properties

Distributed Branching Bisimulation Minimization by Inductive Signatures

Distributed Priority Synthesis and its Applications

Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control

Distributed States Temporal Logic

Distributed System Contract Monitoring

Distributive Computability

DNF Sampling for ProbLog Inference

Does Treewidth Help in Modal Satisfiability?

Domain Representable Spaces Defined by Strictly Positive Induction

Domain Theory and the Logic of Observable Properties

Double-Negation Elimination in Some Propositional Logics

Drawing Sound Conclusions from Unsound Premises

Dynamic Backward Slicing of Rewriting Logic Computations

Dynamic Magic Sets for Super-Consistent Answer Set Programs