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
Hans Zantema
Researcher
PaperStream Productivity by Outermost TerminationAuthorship / preprint / 2010PaperStrategy Independent Reduction Lengths in Rewriting and Binary ArithmeticAuthorship / preprint / 2012PaperNon-termination using Regular LanguagesAuthorship / preprint / 2014PaperProving Looping and Non-Looping Non-Termination by Finite AutomataAuthorship / preprint / 2015PaperProceedings 9th International Workshop on Computing with Terms and GraphsAuthorship / preprint / 2016PaperA Rewriting View of Simple TypingAuthorship / preprint / 2013PaperThe Degree of Squares is an Atom (Extended Version)Authorship / preprint / 2015