[Back]


Publications in Scientific Journals:
A. Leitsch, S. Hetzl, G. Reis, D. Weller et al.:
"Introducing Quantified Cuts in Logic with Equality";
CoRR - Computing Research Repository, abs/1402.2474 (2014), abs/1402.2474; 16 pages.

Electronic version of the publication:
http://arxiv.org/abs/1402.2474

Created from the Publication Database of the Vienna University of Technology.