Dichotomies and Duality in First-order Model Checking Problems

Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant

Discounting in Games across Time Scales

Discovery of Invariants through Automated Theory Formation

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