Default Logic (Reiter) - Department of Computing
Deep Sequent Systems for Modal Logic
Deep Sequent Systems for Modal Logic
Dedukti
deductive system
Deductive Reasoning
Deductive Databases with Universally Quantified Conditions
Deducibility, Consistency, Maxi-consistent sets
Dedekind cuts of Archimedean complete ordered abelian groups
Decomposing Specifications of Concurrent Systems
DECLARATIVE PROGRAMMING
Decision Procedures for Flat Array Properties
Decision Procedures 1: Survey of decision procedures
Decision problem
Deciding Intuitionistic Propositional Logic via Translation into
Deciding Global Partial-Order Properties
Decidable models of small theories
Decidable fragments of first-order logic Decidable fragments of first
Decidable fragments of First order logic
Decidability of Monadic Theories
