Author:
Bruynooghe Maurice,Vanhoof Wim,Codish Michael
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Binding-Time Analysis for Mercury;Program Development in Computational Logic;2004
2. Termination Analysis with Types Is More Accurate;Logic Programming;2003
3. When Size Does Matter;Logic Based Program Synthesis and Transformation;2002
4. Combining Norms to Prove Termination;Lecture Notes in Computer Science;2002