View in EDS HTML Full Text PDF Full Text

Relaxed Weighted Path Order in Theorem Proving.

Saved in:
Bibliographic Details
Title: Relaxed Weighted Path Order in Theorem Proving.
Authors: Jakubův, Jan1 (AUTHOR) jakubuv@gmail.com, Kaliszyk, Cezary2 (AUTHOR) cezary.kaliszyk@uibk.ac.at
Source: Mathematics in Computer Science. Sep2020, Vol. 14 Issue 3, p657-670. 14p.
Database: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:16618270
DOI:10.1007/s11786-020-00474-0