Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
Parameterized Memory Models and Concurrent Separation Logic (extended version) Rodrigo Ferreira Xinyu Feng
Parameterized Memory Models and Concurrent Separation Logic (extended version) Rodrigo Ferreira Xinyu Feng
Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics
Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics
Parallel Belief Revision: Revising by Sets of Formulas
Parallel Belief Revision: Revising by Sets of Formulas
Paragraph Coherence:
Paragraph Coherence:
Paragraph and Essay Construction David Morse, Ford School
Paragraph and Essay Construction David Morse, Ford School
Paradox Machines Christian Skalka The University of Vermont
Paradox Machines Christian Skalka The University of Vermont
Paradox lost: Hilbert, Gödel and modern mathematics
Paradox lost: Hilbert, Gödel and modern mathematics
Paraconsistent Hybrid Theories Michael Fink
Paraconsistent Hybrid Theories Michael Fink
Paper - Universitat de Girona
Paper - Universitat de Girona
paper - People Server at UNCW - University of North Carolina
paper - People Server at UNCW - University of North Carolina
Page 1 of 5 Math 3336 Section 1.3 Propositional Equivalences
Page 1 of 5 Math 3336 Section 1.3 Propositional Equivalences
one point persuasive speech
one point persuasive speech
One Minute Eloquence
One Minute Eloquence
One Dogma of Millianism Derek Ball (University of St Andrews) and
One Dogma of Millianism Derek Ball (University of St Andrews) and
Once the specific model and information that the recipient has... enters into an evaluation of the information transfer, there is...
Once the specific model and information that the recipient has... enters into an evaluation of the information transfer, there is...
On ‘The Denial of Bivalence is Absurd’ Francis Jeffry Pelletier
On ‘The Denial of Bivalence is Absurd’ Francis Jeffry Pelletier
On Zadeh’s Compositional Rule of Inference ∗ Robert Full´er Hans-J ¨urgen Zimmermann
On Zadeh’s Compositional Rule of Inference ∗ Robert Full´er Hans-J ¨urgen Zimmermann
ON WEIGHTED SPACES WITHOUT A FUNDAMENTAL SEQUENCE OF BOUNDED SETS
ON WEIGHTED SPACES WITHOUT A FUNDAMENTAL SEQUENCE OF BOUNDED SETS
On treating negation within XSB (and ... with a form of logical negation, and its ...
On treating negation within XSB (and ... with a form of logical negation, and its ...
On the Use of Partially Ordered Decision Graphs
On the Use of Partially Ordered Decision Graphs
On the Use of Epistemic Ordering Functions as Decision Criteria
On the Use of Epistemic Ordering Functions as Decision Criteria
On the Use of Epistemic Ordering Functions as Decision Criteria
On the Use of Epistemic Ordering Functions as Decision Criteria
On the Use of an ATMS for Handling Conflicting Desires
On the Use of an ATMS for Handling Conflicting Desires
On the Unusual Effectiveness of Logic in Computer Science Robert Harper
On the Unusual Effectiveness of Logic in Computer Science Robert Harper