• 已选条件：
 全选  【符合条件的数据共：5条】

1 Termination of Integer Term Rewriting [会议论文]

作者:C. Fuhs, J. Giesl, M. Plu¨cker LuFG Informatik 2

会议时间:

预览  |  原文链接  |  全文  [ 浏览：2 下载：3  ]    

2 Executive Summary [会议论文]

作者:Thomas Ball1;Ju¨rgen Giesl2;Reiner Ha¨hnle3;等

会议时间:

预览  |  原文链接  |  全文  [ 浏览：14 下载：6  ]    

3 On automated reasoning about recursively defined functions and homomorphisms [会议论文]

作者:Viorica Sofronie-Stokkermans

会议时间:

预览  |  原文链接  |  全文  [ 浏览：3 下载：6  ]    

4 Interaction versus Automation: The two Faces of Deduction [会议论文]

作者:Dagstuhl Seminar

会议时间:

预览  |  原文链接  |  全文  [ 浏览：16 下载：8  ]    

5 Inductive Theorem Proving meets Dependency Pairs [会议论文]

作者:S. Swiderski;M. Parting;J. Giesl;等

会议时间:

预览  |  原文链接  |  全文  [ 浏览：2 下载：3  ]