A Ground Joinability Criterion for Ordered Completion∗ Sarah Winkler University of Innsbruck, Austria Abstract By Newman’s Lemma and the Extended Critical Pair Lemma, ordered completion tools

First Page		Document Content
Date: 2017-09-12 04:41:19		A Ground Joinability Criterion for Ordered Completion∗ Sarah Winkler University of Innsbruck, Austria Abstract By Newman’s Lemma and the Extended Critical Pair Lemma, ordered completion tools Add to Reading List Source URL: cl-informatik.uibk.ac.at Download Document from Source Website File Size: 290,79 KB Share Document on Facebook