Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides(Theory of Rewriting Systems and Its Applications)
スポンサーリンク
概要
著者
-
Ida Tetsuo
Center Of Tsukuba Advanced Research Alliance University Of Tsukuba
-
Middeldorp Aart
Center Of Tsukuba Advanced Research Alliance University Of Tsukuba
-
Suzuki Taro
Center of Tsukuba Advanced Research Alliance, University of Tsukuba
-
Suzuki Taro
Center Of Tsukuba Advanced Research Alliance University Of Tsukuba