APPLICATION
教授マッチング
Public Professor Archive
新潟大学 · 教育研究院/教育学部 · 教授
新潟大学 · 教育研究院/教育学部 · 教授
研究キーワードterm rewriting systems・conditional rewriting・confluence proofs・rewriting induction・nominal rewriting・regular tree unification・automata for rewriting・coinductive theorem proving
研究分野情報学基礎・情報学・ソフトウェア・情報学基礎理論・情報科学・総合・新領域系・総合系・総合領域
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。