Bruno Woltzenlogel Paleo

Identifiers

• name variant Bruno Woltzenlogel Paleo 0.60 · backfill

Papers (7)

1. Partial Regularization of First-Order Resolution Proofs cs.LO · 2018 · author #3
2. Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving cs.LO · 2017 · author #2
3. Scavenger 0.1: A Theorem Prover Based on Conflict Resolution cs.LO · 2017 · author #3
4. An Expressive Probabilistic Temporal Logic cs.LO · 2016 · author #1
5. Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning cs.LO · 2016 · author #2
6. Proceedings Eleventh Workshop on User Interfaces for Theorem Provers cs.LO · 2014 · author #2
7. Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence cs.LO · 2013 · author #2

Mentions

• 1410.7850 #2 · backfill · confidence 0.70 Bruno Woltzenlogel Paleo
• 1308.4526 #2 · backfill · confidence 0.70 Bruno Woltzenlogel Paleo

Frequent Coauthors

• Christoph Benzm\"uller 2 shared papers
• John Slaney 2 shared papers
• Catherine Dubois 1 shared papers
• Daniyar Itegulov 1 shared papers
• Ezequiel Postan 1 shared papers
• Jan Gorzny 1 shared papers