A Semantic Criterion for Proving Infeasibility in Conditional Rewriting Salvador Lucas Ra´ ul Guti´errez

First Page		Document Content
Date: 2017-09-12 04:41:19		A Semantic Criterion for Proving Infeasibility in Conditional Rewriting Salvador Lucas Ra´ ul Guti´errez Add to Reading List Source URL: cl-informatik.uibk.ac.at Download Document from Source Website File Size: 231,73 KB Share Document on Facebook