Soundness, idempotence and commutativity of set-sharing
From MaRDI portal
Publication:4452614
DOI10.1017/S1471068401001338zbMath1087.68530WikidataQ60501252 ScholiaQ60501252MaRDI QIDQ4452614
Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
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=02
68N17: Logic programming
Related Items