Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
2 Logic
2 Logic
2 Knowledge Representations:
2 Knowledge Representations:
2 - UCLA Department of Philosophy
2 - UCLA Department of Philosophy
2 - Alloy
2 - Alloy
2
2
1—Lacking 2—Emerging or Developing 3—Proficient
1—Lacking 2—Emerging or Developing 3—Proficient
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
A Bisimulation-based Method for Proving the Validity of Equations in
A Bisimulation-based Method for Proving the Validity of Equations in
A Bipolar Framework for Combining Beliefs about Vague Propositions Jonathan Lawry
A Bipolar Framework for Combining Beliefs about Vague Propositions Jonathan Lawry
A Better Way to Design Communication Protocols
A Better Way to Design Communication Protocols
A Bad Day Surfing is Better than a Good Day... How to Revise a Total Preorder Richard Booth Thomas Meyer
A Bad Day Surfing is Better than a Good Day... How to Revise a Total Preorder Richard Booth Thomas Meyer
a b with register $s2.
a b with register $s2.
a b c d
a b c d
a a+1
a a+1
A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE
A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE
A TENTATIVE NEW LOGICAL APPROACH FOR ... Luis M. Laita, Luis de Ledesma, ...
A TENTATIVE NEW LOGICAL APPROACH FOR ... Luis M. Laita, Luis de Ledesma, ...
A sequential reversible belief revision
A sequential reversible belief revision
A Semantic Characterization of an Algorit
A Semantic Characterization of an Algorit
A SAT-based decision procedure for AL:C
A SAT-based decision procedure for AL:C
A Representationalist Theory of Intention
A Representationalist Theory of Intention