Bruno Woltzenlogel Paleo

Available identifiers

zbMath Open woltzenlogel-paleo.brunoMaRDI QIDQ523302

List of research outcomes

Publication	Date of Publication	Type
Lifting propositional proof compression algorithms to first-order logic	2022-01-03	Paper
Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT	2020-08-06	Paper
Complexity of translations from resolution to sequent calculus	2019-10-09	Paper
Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning	2018-02-02	Paper
NP-completeness of small conflict set generation for congruence closure	2018-01-08	Paper
Scavenger 0.1: a theorem prover based on conflict resolution	2017-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q5357221	2017-09-14	Paper
Variants of Gödel's ontological proof in a natural deduction calculus	2017-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q5282959	2017-07-18	Paper
Reducing redundancy in cut-elimination by resolution	2017-05-17	Paper
Computer-assisted analysis of the Anderson-Hájek ontological controversy	2017-04-20	Paper
Higher-Order Modal Logics: Automation and Applications	2017-03-30	Paper
Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic	2016-12-21	Paper
On Logic Embeddings and Gödel’s God	2016-02-25	Paper
Contextual Natural Deduction	2015-12-11	Paper
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses	2015-12-02	Paper
Interacting with Modal Logics in the Coq Proof Assistant	2015-10-20	Paper
Physics and proof theory	2014-06-27	Paper
Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence	2013-08-21	Paper
Towards CERes in intuitionistic logic	2012-11-22	Paper
Compression of Propositional Resolution Proofs via Partial Regularization	2011-07-29	Paper
Exploiting Symmetry in SMT Problems	2011-07-29	Paper
Atomic Cut Introduction by Resolution: Proof Structuring and Compression	2011-01-07	Paper
System Description: The Proof Transformation System CERES	2010-09-14	Paper
A Clausal Approach to Proof Analysis in Second-Order Logic	2009-02-24	Paper
Herbrand Sequent Extraction	2009-01-27	Paper

Research outcomes over time

This page was built for person: Bruno Woltzenlogel Paleo