Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Arne Meier
Proof Complexity of Propositional Default Logic
Archive for Mathematical Logic
Philosophy
Logic
Proof Complexity of Propositional Default Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
The Complexity of Model Checking for Propositional Default Logics
Data and Knowledge Engineering
Information Systems
Management
Expansion Nets: Proof-Nets for Propositional Classical Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Axiomatization of Propositional Logic
Formalized Mathematics
Computational Mathematics
Applied Mathematics
Propositional Clausal Defeasible Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Propositional Logic of Temporal Connectives
Logic and Logical Philosophy
Philosophy
Uncontroversial Default Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Logical Closure Properties of Propositional Proof Systems
Encodings of Problems in Effectively Propositional Logic
