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 in Algebra and Logic
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
