Author:
Pettorossi Alberto,Proietti Maurizio
Publisher
Springer Berlin Heidelberg
Reference84 articles.
1. Aerts, K., Van Besien, D.: Autolap: A System for Transforming Logic Programs. Department of Electronics, Report University of Rome II, Rome, Italy (1991)
2. Arsac, J., Kodratoff, Y.: Some Techniques for Recursion Removal From Recursive Functions. ACM Toplas 4 (2) (1982) 295–322
3. Aubin, R.: Mechanizing Structural Induction: Part I and II. Theoretical Computer Science 9 (3) (1979) 329–362
4. Bates, J.L., Constable, R.L.: Proofs as Programs. ACM Toplas 7 (1) (1985) 113–136
5. Berry, G.: Bottom-Up Computation of Recursive Programs. RAIRO Informatique Théorique 10 (3) (1976) 47–82
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献