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
6 links
Vesa Halava
Researcher
PaperA recursive function coding number theoretic functionsAuthorship / preprint / 2022PaperA new proof for the decidability of D0L ultimate periodicityAuthorship / preprint / 2011PaperAnother proof of undecidability for the correspondence decision problem - Had I been Emil PostAuthorship / preprint / 2014PaperWeighted automata on infinite words in the context of Attacker-Defender gamesAuthorship / preprint / 2015PaperOn Bi-infinite and Conjugate Post Correspondence ProblemsAuthorship / preprint / 2022PaperTighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and MoreAuthorship / preprint / 2014