Diagrammatic Reasoning in Separation Logic
Designing Circuits - Department of Computer and Information Science
Design and Analysis of Cryptographic Protocols
Dependent Types In Lambda Cube
Dependence Logic
Department of Mathematics, Jansons Institute of Technology
degrees of recursively saturated models
Definitions that Classify
Definition: A proof is a system of reasoning or argument to convince
Definition - Rogelio Davila
Definition - Industrial Engineering 2011
Definition (model) - UBC Computer Science
Defining liveness.
Defining Liveness - Kent State University
Defining Fairness
Definable maximal cofinitary groups.
Definability properties and the congruence closure
Definability in Boolean bunched logic
Defending a Dialetheist Response to the Liar`s Paradox
Default reasoning using classical logic
Default Reasoning in a Terminological Logic