Crossmark

Theorem Proving as Constraint Solving with Coherent Logic

Crossref DOI link: https://doi.org/10.1007/s10817-022-09629-z

Published Online: 2022-05-20

Published Print: 2022-11

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Janičić, Predrag https://orcid.org/0000-0001-8922-4948
Narboux, Julien https://orcid.org/0000-0003-3527-7184
License Information

Text and Data Mining valid from 2022-05-20

Version of Record valid from 2022-05-20
More Information

Article History

Received: 18 December 2020

Accepted: 6 April 2022

First Online: 20 May 2022