Author:
Godoy Guillem,Huntingford Eduard,Tiwari Ashish
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;A.R. Bradley,2005
2. Cook, B., Podelski, A., Rybalchenko, A.: Termination proofs for systems code. In: Proc. ACM SIGPLAN 2006 Conf. Prog. Lang. Design and Impl. PLDI, pp. 415–426. ACM, New York (2006)
3. Lecture Notes in Computer Science;N. Dershowitz,1981
4. Lecture Notes in Artificial Intelligence;G. Godoy,2004
5. Lecture Notes in Artificial Intelligence;G. Godoy,2005
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献