Electronic Proceedings in Theoretical Computer Science

Book title Buchtitel

Editor Herausgeber_in

Bogaerts, Bart
Erdem, Esra
Fodor, Paul
Formisano, Andrea
Ianni, Giovambattista
Inclezan, Daniela
De Vos, Marina
Yang, Fangkai

Series Schriftenreihe

Electronic Proceedings in Theoretical Computer Science

Filter:

Author: Ebner, Gabriel

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Ebner, Gabriel	Fast Cut-Elimination using Proof Terms: An Empirical Study	Konferenzbeitrag Inproceedings	2018