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
9 links
Aart Middeldorp
Researcher
PaperProceedings 8th International Workshop on Computing with Terms and GraphsAuthorship / preprint / 2015PaperTools in Term Rewriting for EducationAuthorship / preprint / 2020PaperOn the Complexity of Deciding Call-by-NeedAuthorship / preprint / 2011PaperCoCoWeb - A Convenient Web Interface for Confluence ToolsAuthorship / preprint / 2017PaperLayer Systems for Proving ConfluenceAuthorship / preprint / 2015PaperPolynomial Interpretations over the Natural, Rational and Real Numbers RevisitedAuthorship / preprint / 2014PaperUncurrying for Innermost Termination and Derivational ComplexityAuthorship / preprint / 2011PaperLabelings for Decreasing DiagramsAuthorship / preprint / 2014