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
4 links
Ralph Matthes
Researcher
PaperProceedings Tenth International Workshop on Fixed Points in Computer ScienceAuthorship / preprint / 2015PaperA Coinductive Approach to Proof SearchAuthorship / preprint / 2013PaperConfluence for classical logic through the distinction between values and computationsAuthorship / preprint / 2014PaperContinuation-Passing Style and Strong Normalisation for Intuitionistic Sequent CalculiAuthorship / preprint / 2009