Greedy pebbling for proof space compression

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1-16
Number of pages	16
Journal	International Journal on Software Tools for Technology Transfer
Volume	19
Issue number	89
DOIs	https://doi.org/10.1007/s10009-017-0459-0
Publication status	Published - 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 -