Automatic Correctness Proofs for Logic Program Transformations
Published in Lecture notes in computer science • Jan 1, 2007
NobleIDNI5P51W83R12S56
Authors:,,
Alberto Pettorossi
Maurizio Proietti
Valerio Senni
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!