Period of time： 2014年3期
Publisher： Springer Publishing Company
Founded in： 1985
Total resources： 33
ISSN： 0168-7433
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Automated Reasoning,volume 37,issue 3
Menu
Third Special Issue on Techniques for Automated Termination Proofs
By Giesl Jürgen,Kapur Deepak in (2006)
Journal of Automated Reasoning,volume 37,issue 3 , Vol. 37, Iss. 3, 2006-10 , pp.
Access to resources
Recommend
Mechanizing and Improving Dependency Pairs
By Giesl Jürgen,Thiemann René,Schneider-Kamp Peter,Falke Stephan in (2006)
Journal of Automated Reasoning,volume 37,issue 3 , Vol. 37, Iss. 3, 2006-10 , pp.Elimination Transformations for Associative–Commutative Rewriting Systems
By Keiichirou Kusakari,Masaki Nakamura,Yoshihito Toyama in (2006)
Journal of Automated Reasoning,volume 37,issue 3 , Vol. 37, Iss. 3, 2006-10 , pp.