Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
A Transformation Strategy for Verifying Logic Programs on Infinite Lists Alberto Pettorossi1, Maurizio Proietti2 , and Valerio Senni1 1 DISP, University of Rome Tor Vergata, Via del Politecnico 1, IRome, Italy
Add to Reading List
Document Date: 2010-06-08 09:11:08
Open Document
File Size: 203,70 KB
Share Result on Facebook
A Transformation Strategy for Verifying Logic Programs on Infinite Lists Alberto Pettorossi1, Maurizio Proietti2 , and Valerio Senni1 1 DISP, University of Rome Tor Vergata, Via del Politecnico 1, IRome, Italy