Options
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“. Wadern: Schloss Dagstuhl doi: 10.4230/DagRep.13.10.1.
Faculty/Professorship:
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
Type:
Article
published:
April 9, 2024
Permalink
https://fis.uni-bamberg.de/handle/uniba/94634