Options
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
Type:
Preprint
Activation date:
June 2, 2025
Permalink
https://fis.uni-bamberg.de/handle/uniba/108501