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
Decidability of Monadic Theories
Decidability for some justification logics with negative introspection
Dealing with imperfect information in Strategy Logic
De Jongh`s characterization of intuitionistic propositional calculus
Day04-FunctionsOnLanguages_DecisionProblems - Rose
