Constraint-Based Multi-Completion Procedures for Term Rewriting Systems
Constraint-Based Multi-Completion Procedures for Term Rewriting Systems
复制标题
术语重写系统的基于约束的多重完成过程
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Aart Middeldorp
中科院分区：
文献类型：
--
作者：
Haruhiko Sato;Masahito Kurihara;Sarah Winkler;Aart Middeldorp
登录
查看更多内容
DOI：
10.1016/j.entcs.2005.12.008
发表时间：
2005
期刊：
--
影响因子：
--
作者：
Ian Wehrman;Aaron Stump
通讯作者：
Aaron Stump
蒂罗尔终止工具：技术和功能
影响因子：
1
作者：
Nao Hirokawa;A. Middeldorp
通讯作者：
A. Middeldorp
使用终止工具进行多重完成（系统描述）
DOI：
10.1007/978-3-540-71070-7_26
发表时间：
2008
期刊：
--
影响因子：
--
作者：
Haruhiko Sato;S. Winkler;M. Kurihara;A. Middeldorp
通讯作者：
A. Middeldorp
SAT 求解多项式解释的终止分析
DOI：
--
发表时间：
2007
期刊：
International Conference on Theory and Applications of Satisfiability Testing
影响因子：
--
作者：
Carsten Fuhs;J. Giesl;A. Middeldorp;Peter Schneider;René Thiemann;Harald Zankl
通讯作者：
Harald Zankl
偏序约束的高效 BDD 编码及其在软件验证专家系统中的应用
DOI：
--
发表时间：
2004
期刊：
Lecture Notes in Artificial Intelligence 3029
影响因子：
--
作者：
M.Kurihara;H.Kondo
通讯作者：
H.Kondo