Analysis of residuating logic programs

DOI10.1016/0743-1066(94)00105-FzbMath0866.68019MaRDI QIDQ3125900

Michael Hanus

Publication date: 20 March 1997

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

zbMATH Keywords

residuationlogic programming languages

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

From Logic to Functional Logic Programs ⋮ Functional Logic Programming: From Theory to Curry

This page was built for publication: Analysis of residuating logic programs