Greedy pebbling for proof space compression

Andreas Fellner, Bruno Woltzenlogel Paleo

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	1-16
Seitenumfang	16
Fachzeitschrift	International Journal on Software Tools for Technology Transfer
Volume	19
Issue	89
DOIs	https://doi.org/10.1007/s10009-017-0459-0
Publikationsstatus	Veröffentlicht - 2017

Research Field

@article{a29b727345604ccf9c62f9a098313e5f,

title = "Greedy pebbling for proof space compression",

author = "Andreas Fellner and {Woltzenlogel Paleo}, Bruno",

year = "2017",

doi = "10.1007/s10009-017-0459-0",

language = "English",

volume = "19",

pages = "1--16",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

number = "89",

}

TY - JOUR

T1 - Greedy pebbling for proof space compression

AU - Fellner, Andreas

AU - Woltzenlogel Paleo, Bruno

PY - 2017

Y1 - 2017

U2 - 10.1007/s10009-017-0459-0

DO - 10.1007/s10009-017-0459-0

M3 - Article

SN - 1433-2779

VL - 19

SP - 1

EP - 16

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 89

ER -