Searching for Wormholes in Proof-Space
Fuenmayor, David; Benzmüller, Christoph (2025): Searching for Wormholes in Proof-Space, in: Konstantin Korovin, Stephan Schulz, und Michael Rawson (Hrsg.), Proceedings of the 14th and 15th International Workshops on the Implementation of Logics, S. 15–17, doi: 10.29007/fc89.
Faculty/Chair:
Author:
 ; 
Title of the Journal:
Kalpa Publications in Computing
Title of the compilation:
Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Editors:
Korovin, Konstantin
Schulz, Stephan
Rawson, Michael
ISSN:
2515-1762
Corporate Body:
EasyChair
Conference:
International Workshops on the Implementation of Logics
Year of publication:
2025
Issue:
21
Pages:
Language:
English
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Conferenceobject
URI:
Activation date:
April 8, 2025

Question on publication

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