Automatic Correctness Proofs for Logic Program Transformations

From MaRDI portal
Publication:3608667

DOI10.1007/978-3-540-74610-2_25zbMATH Open1213.68207OpenAlexW1944291887MaRDI QIDQ3608667FDOQ3608667


Authors: Alberto Pettorossi, Maurizio Proietti, Valerio Senni Edit this on Wikidata


Publication date: 5 March 2009

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

Full work available at URL: http://hdl.handle.net/2108/40167




Recommendations




Cited In (14)





This page was built for publication: Automatic Correctness Proofs for Logic Program Transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608667)