The following pages link to Bruno Woltzenlogel Paleo (Q523302):
Displayed 27 items.
- Computer-assisted analysis of the Anderson-Hájek ontological controversy (Q523303) (← links)
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
- NP-completeness of small conflict set generation for congruence closure (Q1688538) (← links)
- Physics and proof theory (Q2249005) (← links)
- Variants of Gödel's ontological proof in a natural deduction calculus (Q2363503) (← links)
- Scavenger 0.1: a theorem prover based on conflict resolution (Q2405260) (← links)
- On Logic Embeddings and Gödel’s God (Q2787333) (← links)
- Compression of Propositional Resolution Proofs by Lowering Subproofs (Q2851933) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- Reducing redundancy in cut-elimination by resolution (Q2987066) (← links)
- Atomic Cut Introduction by Resolution: Proof Structuring and Compression (Q3066113) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← links)
- Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT (Q3305339) (← links)
- Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (Q3454106) (← links)
- Contextual Natural Deduction (Q3455860) (← links)
- A Clausal Approach to Proof Analysis in Second-Order Logic (Q3605531) (← links)
- Towards CERes in intuitionistic logic (Q4649567) (← links)
- Lifting propositional proof compression algorithms to first-order logic (Q5019279) (← links)
- Exploiting Symmetry in SMT Problems (Q5200027) (← links)
- Compression of Propositional Resolution Proofs via Partial Regularization (Q5200028) (← links)
- Complexity of translations from resolution to sequent calculus (Q5236549) (← links)
- (Q5282959) (← links)
- (Q5357221) (← links)
- Herbrand Sequent Extraction (Q5505525) (← links)
- System Description: The Proof Transformation System CERES (Q5747781) (← links)
- Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence (Q6244239) (← links)