Alexander Leitsch

Identifiers

• name variant Alexander Leitsch 0.60 · backfill

Papers (6)

1. The problem of Pi_2-cut-introduction cs.LO · 2016 · author #1
2. Analysis of Clause set Schema Aided by Automated Theorem Proving: A Case Study [Extended Paper] cs.LO · 2015 · author #2
3. Introducing Quantified Cuts in Logic with Equality cs.LO · 2014 · author #2
4. Algorithmic Introduction of Quantified Cuts cs.LO · 2014 · author #2
5. CERES for First-Order Schemata cs.LO · 2013 · author #2
6. How to acknowledge hypercomputation? quant-ph · 2007 · author #1

Mentions

• 1402.2474 #2 · backfill · confidence 0.70 Alexander Leitsch
• 1401.4330 #2 · backfill · confidence 0.70 Alexander Leitsch
• 1303.4257 #2 · backfill · confidence 0.70 Alexander Leitsch
• 0712.3435 #1 · backfill · confidence 0.70 Alexander Leitsch

Frequent Coauthors

• Daniel Weller 3 shared papers
• Giselle Reis 2 shared papers
• Stefan Hetzl 2 shared papers
• Cvetan Dunchev 1 shared papers
• David Cerna 1 shared papers
• Guenter Schachner 1 shared papers
• Janos Tapolczai 1 shared papers
• Karl Svozil 1 shared papers
• Michael Peter Lettmann 1 shared papers
• Mikheil Rukhaia 1 shared papers