Searching for Wormholes in Proof-Space

3 pages•Published: April 6, 2025

David Fuenmayor and Christoph Benzmüller

Abstract

In: Konstantin Korovin, Stephan Schulz and Michael Rawson (editors). Proceedings of the 14th and 15th International Workshops on the Implementation of Logics, vol 21, pages 15-17.

Links:	https://easychair.org/publications/paper/scqG
	https://doi.org/10.29007/fc89

BibTeX entry

@inproceedings{IWIL-2024:Searching_Wormholes_Proof_Space,
  author    = {David Fuenmayor and Christoph Benzmüller},
  title     = {Searching for Wormholes in Proof-Space},
  booktitle = {Proceedings of the 14th and 15th International Workshops on the Implementation of Logics},
  editor    = {Konstantin Korovin and Stephan Schulz and Michael Rawson},
  series    = {Kalpa Publications in Computing},
  volume    = {21},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/scqG},
  doi       = {10.29007/fc89},
  pages     = {15-17},
  year      = {2025}}

Download PDF Open PDF in browser