On modular termination proofs of general logic programs

DOI10.1017/S1471068402001382zbMath1087.68526MaRDI QIDQ4452617

Sandro Etalle, Sabina Rossi, Annalisa Bossi, Nicoletta Cocco

Publication date: 1 March 2004

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

Full work available at URL: http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=03

zbMATH Keywords

verificationterminationlogic programming

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (1)

Termination prediction for general logic programs

This page was built for publication: On modular termination proofs of general logic programs