Theorem Proving in Dependently-Typed Higher-Order Logic : Extended Preprint
Rothgang, Colin; Rabe, Florian; Benzmüller, Christoph (2023): „Theorem Proving in Dependently-Typed Higher-Order Logic : Extended Preprint“. arXiv doi: 10.48550/ARXIV.2305.15382.
Faculty/Professorship:
AI Systems Engineering 
Author:
 ;  ; 
Publisher Information:
Year of publication:
2023
Issue:
arXiv:2305.15382
Pages:
Language:
English
DOI:
URL:
Type:
Preprint
URI:
published:
May 25, 2023

Question on publication

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