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

First Page		Document Content
Date: 2017-09-12 04:41:19		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 Source URL: cl-informatik.uibk.ac.at Download Document from Source Website File Size: 539,37 KB Share Document on Facebook