Proving termination for logic programs by the query-mapping pairs approach
- N. Lindenstrauss
- , Y. Sagiv
- , A. Serebrenik
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
10
Link opens in a new tab
Citations
(Scopus)
1
Downloads
(Pure)