A Specification Logic for Termination and Non-Termination Reasoning TON-CHANH LE JO IN T WORK WITH C. GHERGHINA , A . HOBOR A N D W -N . CHIN 1

First Page		Document Content
Date: 2013-01-22 13:03:06 Mathematical logic Term Logic programming		A Specification Logic for Termination and Non-Termination Reasoning TON-CHANH LE JO IN T WORK WITH C. GHERGHINA , A . HOBOR A N D W -N . CHIN 1 Add to Reading List Source URL: www.comp.nus.edu.sg Download Document from Source Website File Size: 651,81 KB Share Document on Facebook