Termination Proofs for Logic Programs

Publisher Website

1 January 1990

book
Published by Springer Nature in Lecture Notes in Computer Science

https://doi.org/10.1007/3-540-52837-7

Abstract

No abstract available

Keywords

Cited by 73 articles