Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Alexander Leitsch
Researcher
PaperSchematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version]Authorship / preprint / 2016PaperSchematic Refutations of Formula SchemataAuthorship / preprint / 2020PaperCERES for First-Order SchemataAuthorship / preprint / 2013PaperPROOFTOOL: a GUI for the GAPT FrameworkAuthorship / preprint / 2013PaperAlgorithmic Introduction of Quantified CutsAuthorship / preprint / 2014PaperIntroducing Quantified Cuts in Logic with EqualityAuthorship / preprint / 2014PaperAnalysis of Clause set Schema Aided by Automated Theorem Proving: A Case Study [Extended Paper]Authorship / preprint / 2015