Author:
Fioravanti Fabio,Pettorossi Alberto,Proietti Maurizio
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. K. R. Apt and R. N. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19, 20:9–71, 1994.
2. D. Basin and S. Friedrich. Combining WS1S and HOL. In D.M. Gabbay and M. de Rijke (eds.), Frontiers of Combining Systems 2, volume 7 of Studies in Logic and Computation, pp. 39–56. Research Studies Press/Wiley, 2000.
3. D. Basin and N. Klarlund. Automata based symbolic reasoning in hardware verification. The Journal of Formal Methods in Systems Design, 13(3):255–288, 1998.
4. J. R. Büchi. Weak second order arithmetic and and finite automata. Z. Maath Logik Grundlagen Math, 6:66–92, 1960.
5. W. Chen and D. S. Warren. Tabled evaluation with delaying for general logic programs. JACM, 43(1), 1996.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proving Theorems by Program Transformation;Fundamenta Informaticae;2013
2. Abstract Partial Deduction Challenged;Logic Based Program Synthesis and Transformation;2003