Who finds the short proof? : Searching for Wormholes in Proof-Space
Benzmüller, Christoph (2024): Who finds the short proof? : Searching for Wormholes in Proof-Space, in: Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops, Wadern: Schloss Dagstuhl, Jg. 13, Nr. 10, S. 6, doi: 10.4230/DagRep.13.10.1.
Faculty/Chair:
Author:
Title of the Journal:
Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops
ISSN:
2192-5283
Corporate Body:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Publisher Information:
Year of publication:
2024
Volume:
13
Issue:
10
Pages:
Language:
English
DOI:
Type:
Article
URI:
Activation date:
April 9, 2024

Question on publication

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