Greedy pebbling for proof space compression
- Andreas Fellner*
- , Bruno Woltzenlogel Paleo
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
1
Citation
(Scopus)