Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
A Survey of Rely-Guarantee Approaches in Compositional Verification Murat Demirbas
A Survey of Rely-Guarantee Approaches in Compositional Verification Murat Demirbas
A Survey of Automated Techniques for Formal Software Verification Vijay D’Silva Daniel Kroening
A Survey of Automated Techniques for Formal Software Verification Vijay D’Silva Daniel Kroening
A Supervisor's Reminiscence
A Supervisor's Reminiscence
A study of Probabilistic Logic frameworks
A study of Probabilistic Logic frameworks
A Strongly-Local Contextual Logic
A Strongly-Local Contextual Logic
A String-based Model for Infinite Granularities (Extended Abstract)
A String-based Model for Infinite Granularities (Extended Abstract)
A Strategy for Impleme ases Jane Terry Nutter
A Strategy for Impleme ases Jane Terry Nutter
A Static Preprocess for Improving Fuzzy Thresholded Tabulation*
A Static Preprocess for Improving Fuzzy Thresholded Tabulation*
A Split-combination Method for Merging Inconsistent Possibilistic Knowledge Bases Guilin Qi
A Split-combination Method for Merging Inconsistent Possibilistic Knowledge Bases Guilin Qi
A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS
A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS
A Software Implementation of the IEEE 754R Decimal Floating
A Software Implementation of the IEEE 754R Decimal Floating
A SMALL OBSERVATION ON CO-CATEGORIES PETER LEFANU LUMSDAINE
A SMALL OBSERVATION ON CO-CATEGORIES PETER LEFANU LUMSDAINE
A Situation-Calculus Based Theory of Justified Knowledge and Action Richard Scherl
A Situation-Calculus Based Theory of Justified Knowledge and Action Richard Scherl
A Simple, but NP-Hard, Motion Planning Problem
A Simple, but NP-Hard, Motion Planning Problem
A Simple Model for Quotient Types
A Simple Model for Quotient Types
A Simpl Shortest Path Checker Verification
A Simpl Shortest Path Checker Verification
A Short Glossary of Metaphysics
A Short Glossary of Metaphysics
A Set Theoretic Interpretation of Aristotle`s Syllogistic
A Set Theoretic Interpretation of Aristotle`s Syllogistic
A Semântica e a Lógica das Predicações de Existência ANPOF 2010 J
A Semântica e a Lógica das Predicações de Existência ANPOF 2010 J
A Semantic Model For UNITY Zhiming Liu University of Warwick
A Semantic Model For UNITY Zhiming Liu University of Warwick
A Semantic Decomposition of Defeasible Logics M.J. Maher
A Semantic Decomposition of Defeasible Logics M.J. Maher
A Semantic Approach for Iterated Revision in Possibilistic Logic Guilin Qi
A Semantic Approach for Iterated Revision in Possibilistic Logic Guilin Qi
A Reductive Semantics for Counting and Choice in Answer Set Programming
A Reductive Semantics for Counting and Choice in Answer Set Programming
A Reduction Result for Circumscribed Semi-Horn Formulas
A Reduction Result for Circumscribed Semi-Horn Formulas