Termination of well-moded programs

DOI10.1016/S0743-1066(98)10025-0zbMath0936.68019MaRDI QIDQ4245930

Nicoletta Cocco, Annalisa Bossi, Sandro Etalle

Publication date: 20 July 1999

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

well-moded programs

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Termination of well-moded programs