Program Simplification as a Means of Approximating Undecidable Propositions
doi 10.1109/wpc.1999.777760
Full Text
Open PDFAbstract
Available in full text
Date
Unknown
Authors
Publisher
IEEE Comput. Soc
Available in full text
Unknown
IEEE Comput. Soc