Faithful Logic Embeddings in HOL : Deep and Shallow
Benzmüller, Christoph (2025): Faithful Logic Embeddings in HOL : Deep and Shallow, in: Clark Barret und Uwe Waldmann (Hrsg.), Automated Deduction – CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings, Cham: Springer Nature Switzerland, S. 280–301, doi: 10.1007/978-3-031-99984-0_16.
Faculty/Chair:
Author:
Title of the compilation:
Automated Deduction – CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Editors:
Barret, Clark
Waldmann, Uwe
Conference:
CADE 30 : 30th International Conference on Automated Deduction, July 28-31, 2025 ; Stuttgart, Germany
Publisher Information:
Year of publication:
2025
Pages:
ISBN:
9783031999833
9783031999840
Language:
English
DOI:
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
URI:
Activation date:
July 27, 2026

Question on publication

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