A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017 - Confluence - Document - PDFSEARCH.IO

First Page	Meta Content
	A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017 Add to Reading List Document Date: 2017-09-12 04:41:19 Open Document File Size: 539,37 KB Share Result on Facebook

A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017Add to Reading List