Greedy pebbling for proof space compression

Andreas Fellner, Bruno Woltzenlogel Paleo. Greedy pebbling for proof space compression. STTT, 21(1):71-86, 2019. [doi]

Authors

Andreas Fellner

This author has not been identified. Look up 'Andreas Fellner' in Google

Bruno Woltzenlogel Paleo

This author has not been identified. Look up 'Bruno Woltzenlogel Paleo' in Google