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
5 links
Masahiko Sakai
Researcher
PaperOn Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained TermsAuthorship / preprint / 2013PaperSoundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to LinearityAuthorship / preprint / 2012PaperAn Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation SystemsAuthorship / preprint / 2017PaperStatic Dependency Pair Method based on Strong Computability for Higher-Order Rewrite SystemsAuthorship / preprint / 2011PaperSound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting SystemsAuthorship / preprint / 2017