Crossmark

Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III

Published Online: 2019-10-18

Published Print: 2020-03

Authors

Steen, Alexander https://orcid.org/0000-0001-8781-9462
Funding

Funding for this research was provided by:

Deutsche Forschungsgemeinschaft (BE 2501/11-1 (Leo-III))

Volkswagen Foundation (Consistent, Rational Arguments in Politics (CRAP))
License Information

Text and Data Mining valid from 2019-10-18

Version of Record valid from 2019-10-18
More Information

Article History

First Online: 18 October 2019

Document is current