APPLICATION
教授匹配
Public Professor Archive
新潟大学 · 教育研究院/教育学部 · 教授
新潟大学 · 教育研究院/教育学部 · 教授
研究关键词term rewriting systems・conditional rewriting・confluence proofs・rewriting induction・nominal rewriting・regular tree unification・automata for rewriting・coinductive theorem proving
研究领域情報学基礎・情報学・ソフトウェア・情報学基礎理論・情報科学・総合・新領域系・総合系・総合領域
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。