岩見宗弘

发表

Termination of higher-order rewrite systems

岩見宗弘, 1999 .

Persistence of Termination for Overlay Term Rewriting Systems (計算機科学基礎理論の新展開研究集会報告集)

岩見宗弘, 2004 .

A-011 An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited

岩見宗弘, 2005 .

A-034 Persistence of Termination for Non-Overlapping Term Rewriting Systems

岩見宗弘, 2004 .

Uniform Semi-Unification (Logics, Algebras and Languages in Computer Science)

岩見宗弘, 青戸等人, 2014 .