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
8 links
Harald Zankl
Researcher
PaperUncurrying for Innermost Termination and Derivational ComplexityAuthorship / preprint / 2011PaperConfluence by Decreasing Diagrams -- FormalizedAuthorship / preprint / 2013PaperLabelings for Decreasing DiagramsAuthorship / preprint / 2014PaperModular Complexity Analysis for Term RewritingAuthorship / preprint / 2014PaperCertifying Confluence Proofs via Relative Termination and Rule LabelingAuthorship / preprint / 2017PaperRecording Completion for Finding and Certifying Proofs in Equational LogicAuthorship / preprint / 2012PaperLayer Systems for Proving ConfluenceAuthorship / preprint / 2015PaperCeTA - A Tool for Certified Termination AnalysisAuthorship / preprint / 2012