[Back]


Publications in Scientific Journals:

A. Leitsch, T. Dunchev, D. Weller, M. Rukhaia:
"Ceres for First-Order Schemata";
CoRR - Computing Research Repository, arXiv:1303.4257 (2013), 1 - 40.



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


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