The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bruno Woltzenlogel Paleo" ( http://dblp.L3S.de/Authors/Bruno_Woltzenlogel_Paleo )

URL (Homepage):  http://paleo.woltzenlogel.org/  Author page on DBLP  Author page in RDF  Community of Bruno Woltzenlogel Paleo in ASPL-2

Publication years (Num. hits)
2008-2014 (18) 2015-2017 (15) 2018-2019 (5)
Publication types (Num. hits)
article(15) inproceedings(21) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 39 publication records. Showing 38 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Andreas Fellner, Bruno Woltzenlogel Paleo Greedy pebbling for proof space compression. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo Partial Regularization of First-Order Resolution Proofs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1John Slaney, Bruno Woltzenlogel Paleo Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John Slaney, Bruno Woltzenlogel Paleo Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniyar Itegulov, Ekaterina Lebedeva, Bruno Woltzenlogel Paleo Sensala: a Dynamic Semantics System for Natural Language Processing. Search on Bibsonomy COLING (Demos) The full citation details ... 2018 DBLP  BibTeX  RDF
1Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo NP-completeness of small conflict set generation for congruence closure. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bruno Woltzenlogel Paleo Reducing redundancy in cut-elimination by resolution. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Annika Kanckos, Bruno Woltzenlogel Paleo Variants of Gödel's Ontological Proof in a Natural Deduction Calculus. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, L. Weber, Bruno Woltzenlogel Paleo Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy. Search on Bibsonomy Logica Universalis The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Catherine Dubois, Bruno Woltzenlogel Paleo (eds.) Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017. Search on Bibsonomy PxTP The full citation details ... 2017 DBLP  BibTeX  RDF
1Bruno Woltzenlogel Paleo, Giselle Reis Epsilon Terms in Intuitionistic Sequent Calculus. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Slaney, Bruno Woltzenlogel Paleo Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bruno Woltzenlogel Paleo An Expressive Probabilistic Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo Interacting with Modal Logics in the Coq Proof Assistant. Search on Bibsonomy CSR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo Higher-Order Modal Logics: Automation and Applications. Search on Bibsonomy Reasoning Web The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan Gorzny, Bruno Woltzenlogel Paleo Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bruno Woltzenlogel Paleo Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo (eds.) Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. Search on Bibsonomy UITP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo On Logic Embeddings and Gödel's God. Search on Bibsonomy WADT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo Skeptik: A Proof Compression System. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo Formalization, Mechanization and Automation of Gödel's Proof of God's Existence. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Christoph Benzmueller, Bruno Woltzenlogel Paleo Gödel's God in Isabelle/HOL. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2013 DBLP  BibTeX  RDF
1Bruno Woltzenlogel Paleo Contextual Natural Deduction. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Bruno Woltzenlogel Paleo Compression of Propositional Resolution Proofs by Lowering Subproofs. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bruno Woltzenlogel Paleo Physics and proof theory. Search on Bibsonomy Applied Mathematics and Computation The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo PROOFTOOL: a GUI for the GAPT Framework. Search on Bibsonomy UITP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo Towards CERes in intuitionistic logic. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo Exploiting Symmetry in SMT Problems. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo Compression of Propositional Resolution Proofs via Partial Regularization. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bruno Woltzenlogel Paleo Atomic Cut Introduction by Resolution: Proof Structuring and Compression. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo System Description: The Proof Transformation System CERES. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo A Clausal Approach to Proof Analysis in Second-Order Logic. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo Transforming and Analyzing Proofs in the CERES-System. Search on Bibsonomy LPAR Workshops The full citation details ... 2008 DBLP  BibTeX  RDF
1Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo Herbrand Sequent Extraction. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license