Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
On the Logic of Evolution and the Vanity of Scientism Abstract
On the Logic of Evolution and the Vanity of Scientism Abstract
On the Link between Partial Meet, Kernel, and Richard Booth Thomas Meyer
On the Link between Partial Meet, Kernel, and Richard Booth Thomas Meyer
On the limit existence principles in elementary arithmetic and Σ0
On the limit existence principles in elementary arithmetic and Σ0
On the Implementation of a Discrete Mathematics Course
On the Implementation of a Discrete Mathematics Course
ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS
ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS
On the Fixpoint Theory of Equality and Its Applications Andrzej Szałas
On the Fixpoint Theory of Equality and Its Applications Andrzej Szałas
On the Expressiveness of Levesque’s Normal Form Yongmei Liu Gerhard Lakemeyer
On the Expressiveness of Levesque’s Normal Form Yongmei Liu Gerhard Lakemeyer
On the Equivalence of Recursive and Nonrecursive Datalog Programs
On the Equivalence of Recursive and Nonrecursive Datalog Programs
On the Entailment Problem for a Logic of Typicality
On the Entailment Problem for a Logic of Typicality
On the Enactability of Business Protocols Nirmit Desai Munindar P. Singh
On the Enactability of Business Protocols Nirmit Desai Munindar P. Singh
On the Decidability of Verifying LTL Properties of G Programs OLOG Benjamin Zarrieß
On the Decidability of Verifying LTL Properties of G Programs OLOG Benjamin Zarrieß
On the Decidability of Connectedness Constraints
On the Decidability of Connectedness Constraints
On the decidability and complexity of Metric Temporal Logic over
On the decidability and complexity of Metric Temporal Logic over
On the Containment of SPARQL Queries under Entailment Regimes Melisachew Wudage Chekol
On the Containment of SPARQL Queries under Entailment Regimes Melisachew Wudage Chekol
On the Computational Complexity of Spatio-Temporal Logics
On the Computational Complexity of Spatio-Temporal Logics
On the Computational Complexity of Planning and Story Understanding Christer Backstrom Bernhard Nebel
On the Computational Complexity of Planning and Story Understanding Christer Backstrom Bernhard Nebel
On the Complexity of Linking Deductive and Abstract Argument Systems
On the Complexity of Linking Deductive and Abstract Argument Systems
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies
On the Complexity of Consistent Query Answering Meghyn Bienvenu
On the Complexity of Consistent Query Answering Meghyn Bienvenu
On the Compilation of Stratified Belief Bases
On the Compilation of Stratified Belief Bases
ON THE AXIOMATISATION OF BOOLEAN CATEGORIES WITH AND WITHOUT MEDIAL LUTZ STRASSBURGER
ON THE AXIOMATISATION OF BOOLEAN CATEGORIES WITH AND WITHOUT MEDIAL LUTZ STRASSBURGER
On the Approximation of Instance Level Update and Erasure lastname
On the Approximation of Instance Level Update and Erasure lastname
On the Application of the Disjunctive Syllogism in Paraconsistent
On the Application of the Disjunctive Syllogism in Paraconsistent
On the Epistemological its Extensions
On the Epistemological its Extensions