Checking termination of bottom-up evaluation of logic programs with function symbols

From MaRDI portal
Publication:4593017

DOI10.1017/S1471068414000623zbMath1379.68051arXiv1407.2106OpenAlexW2135520900MaRDI QIDQ4593017

Irina Trubitsyna, Francesca Spezzano, Marco Calautti, Sergio Greco

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.2106




Related Items (3)


Uses Software


Cites Work


This page was built for publication: Checking termination of bottom-up evaluation of logic programs with function symbols