Relaxed Weighted Path Order in Theorem Proving
Crossref DOI link: https://doi.org/10.1007/s11786-020-00474-0
Published Online: 2020-03-30
Published Print: 2020-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Jakubův, Jan
Kaliszyk, Cezary
Funding for this research was provided by:
University of Innsbruck and Medical University of Innsbruck
Text and Data Mining valid from 2020-03-30
Version of Record valid from 2020-03-30
Article History
Received: 1 November 2018
Accepted: 15 December 2019
First Online: 30 March 2020