Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
A Constructive Approach to the Resource Semantics of Substructural Logics
A Constructive Approach to the Resource Semantics of Substructural Logics
A Constructive Approach to Independent and Evidence
A Constructive Approach to Independent and Evidence
A Consistency-Based Model for Belief Change: Preliminary Report James P. Delgrande
A Consistency-Based Model for Belief Change: Preliminary Report James P. Delgrande
A Concurrent Logical Framework: The Propositional Fragment ? Kevin Watkins
A Concurrent Logical Framework: The Propositional Fragment ? Kevin Watkins
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results
A computational model of belief Aaron N. Kaplan , Lenhart K. Schubert
A computational model of belief Aaron N. Kaplan , Lenhart K. Schubert
A Computational Model of Belief
A Computational Model of Belief
A Computational Logic Approach to the Belief
A Computational Logic Approach to the Belief
A Complete First-Order Logic of Knowledge and Time Francesco Belardinelli Alessio Lomuscio
A Complete First-Order Logic of Knowledge and Time Francesco Belardinelli Alessio Lomuscio
A complete axiomatisation for the inclusion of series-parallel
A complete axiomatisation for the inclusion of series-parallel
A Compilation of the Full PDDL+ Language into SMT
A Compilation of the Full PDDL+ Language into SMT
A comparative study between XPDL, BPML 1.0 and
A comparative study between XPDL, BPML 1.0 and
A Classi cation of Symbolic Transition Systems
A Classi cation of Symbolic Transition Systems
A Causal Logic of Logic Programming Alexander Bochman
A Causal Logic of Logic Programming Alexander Bochman
A Case for Behavior-Preserving Actions in Separation Logic
A Case for Behavior-Preserving Actions in Separation Logic
A Case for Behavior-Preserving Actions in Separation Logic
A Case for Behavior-Preserving Actions in Separation Logic
A Calculus for Type Predicates and Type Coercion Martin Giese
A Calculus for Type Predicates and Type Coercion Martin Giese
A Calculus for Reasoning About Containment and Object Access Michael Pool
A Calculus for Reasoning About Containment and Object Access Michael Pool
A Brief History of Natural Deduction
A Brief History of Natural Deduction
Arrangement of Essays
Arrangement of Essays
ARMor: Fully Verified Software Fault Isolation Lu Zhao Guodong Li
ARMor: Fully Verified Software Fault Isolation Lu Zhao Guodong Li
Arithmetic Operations
Arithmetic Operations
Arithmetic Complexity - UCLA Department of Mathematics
Arithmetic Complexity - UCLA Department of Mathematics
ARITHMETIC AND REALITY: A DEVELOPMENT OF POPPER`S
ARITHMETIC AND REALITY: A DEVELOPMENT OF POPPER`S