Automated theorem proving for dependent typed theories via a translation to higher-order logic
Rothgang, Colin (2023): Automated theorem proving for dependent typed theories via a translation to higher-order logic, Berlin: Freie Universität, doi: 10.17169/refubium-44093.
Author:
Corporate Body:
Freie Universität Berlin
Publisher Information:
Year of publication:
2023
Pages:
Supervisor:
 ; 
Language:
English
DOI:
URN:
Type:
Masterthesis
URI:
Activation date:
August 7, 2024

Question on publication

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