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 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
Document Date: 2017-09-12 04:41:19
Open Document
File Size: 290,79 KB
Share Result on Facebook
UPDATE
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