Options
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
Type:
Masterthesis
published:
August 7, 2024
Permalink
https://fis.uni-bamberg.de/handle/uniba/91721