Faithful Logic Embeddings in HOL : Deep and Shallow
Benzmüller, Christoph (2025): Faithful Logic Embeddings in HOL : Deep and Shallow, in: arXiv, S. 1–24, doi: 10.48550/arxiv.2502.19311.
Faculty/Chair:
Author:
Publisher Information:
Year of publication:
2025
Pages:
Language:
English
DOI:
Type:
Preprint
URI:
Activation date:
June 2, 2025

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/108501