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, 2017Add to Reading ListSource URL: cl-informatik.uibk.ac.atDownload Document from Source WebsiteFile Size: 539,37 KBShare Document on Facebook |