Christoph Benzmueller

Identifiers

• name variant Christoph Benzmueller 0.60 · backfill

Papers (13)

1. FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends cs.LO · 2012 · author #1
2. Quantified Conditional Logics are Fragments of HOL cs.AI · 2012 · author #1
3. Embedding and Automating Conditional Logics in Classical Higher-Order Logic cs.AI · 2011 · author #1
4. Simple Type Theory as Framework for Combining Logics cs.LO · 2010 · author #1
5. Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study cs.AI · 2009 · author #1
6. Quantified Multimodal Logics in Simple Type Theory cs.AI · 2009 · author #1
7. Granularity-Adaptive Proof Presentation cs.AI · 2009 · author #2
8. Lectures on Jacques Herbrand as a Logician cs.LO · 2009 · author #3
9. Cut-Simulation and Impredicativity cs.LO · 2009 · author #1
10. Automating Access Control Logics in Simple Type Theory with LEO-II cs.LO · 2009 · author #1
11. A remark on higher order RUE-resolution with EXTRUE cs.AI · 2009 · author #1
12. Resource Adaptive Agents in Interactive Theorem Proving cs.LO · 2009 · author #1
13. LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL) cs.AI · 2006 · author #1

Mentions

• 1207.6685 #1 · backfill · confidence 0.70 Christoph Benzmueller
• 1204.5920 #1 · backfill · confidence 0.70 Christoph Benzmueller
• 1106.3685 #1 · backfill · confidence 0.70 Christoph Benzmueller
• 1004.5500 #1 · backfill · confidence 0.70 Christoph Benzmueller
• 0905.4369 #1 · backfill · confidence 0.70 Christoph Benzmueller
• 0905.2435 #1 · backfill · confidence 0.70 Christoph Benzmueller
• 0903.0314 #2 · backfill · confidence 0.70 Christoph Benzmueller
• 0902.4682 #3 · backfill · confidence 0.70 Christoph Benzmueller
• 0902.0043 #1 · backfill · confidence 0.70 Christoph Benzmueller
• 0901.3608 #1 · backfill · confidence 0.70 Christoph Benzmueller
• 0901.3585 #1 · backfill · confidence 0.70 Christoph Benzmueller
• 0901.3574 #1 · backfill · confidence 0.70 Christoph Benzmueller

Frequent Coauthors

• Valerio Genovese 2 shared papers
• Carsten Schuermann (Eds.) 1 shared papers
• Chad E. Brown 1 shared papers
• Claus-Peter Wirth 1 shared papers
• Daniele Rispoli 1 shared papers
• Dov Gabbay 1 shared papers
• Joerg Siekmann 1 shared papers
• John Harrison 1 shared papers
• Lawrence C. Paulson 1 shared papers
• Marvin Schiller 1 shared papers
• Michael Kohlhase 1 shared papers
• Serge Autexier 1 shared papers
• Thomas Raths 1 shared papers
• Volker Sorge 1 shared papers