Searching for successful reduction orders in equational multi-completion with boolean constraints
Searching for successful reduction orders in equational multi-completion with boolean constraints
复制标题
在具有布尔约束的等式多重完成中搜索成功的归约顺序
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Masahito Kurihara and Haruhiko Sato
中科院分区：
文献类型：
--
作者：
Naoyasu Ubayashi;Yuki Sato;Akihiro Sakai;Tetsuo Tamai;中田育男,渡辺坦,佐々政孝,滝本宗宏;Masahito Kurihara and Haruhiko Sato
