MeTTeL2: Towards a Prover Generation Platform

Renate Schmidt; D Tishkovsky; M Khodadadi; R A Schmidt; F Papacchini

MeTTeL2: Towards a Prover Generation Platform

Renate Schmidt, D Tishkovsky, M Khodadadi, R A Schmidt (Editor), F Papacchini (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012)
Editors	R A Schmidt, F Papacchini
Publisher	University of Manchester, School of Computer Science
Publication status	Published - 2012

Access to Document

Cite this

Schmidt, R., Tishkovsky, D., Khodadadi, M., Schmidt, R. A. (Ed.), & Papacchini, F. (Ed.) (2012). MeTTeL2: Towards a Prover Generation Platform. In R. A. Schmidt, & F. Papacchini (Eds.), Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012) University of Manchester, School of Computer Science. https://www.escholar.manchester.ac.uk/uk-ac-man-scw:161817

@inproceedings{a14e24e4690c4a37b79e7ba8e91d8318,

title = "MeTTeL2: Towards a Prover Generation Platform",

author = "Renate Schmidt and D Tishkovsky and M Khodadadi and Schmidt, {R A} and F Papacchini",

year = "2012",

language = "English",

editor = "Schmidt, {R A} and F Papacchini",

booktitle = "Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012)",

publisher = "University of Manchester, School of Computer Science",

address = "United Kingdom",

}

Schmidt, R, Tishkovsky, D, Khodadadi, M, Schmidt, RA (ed.) & Papacchini, F (ed.) 2012, MeTTeL2: Towards a Prover Generation Platform. in RA Schmidt & F Papacchini (eds), Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012). University of Manchester, School of Computer Science. <https://www.escholar.manchester.ac.uk/uk-ac-man-scw:161817>

MeTTeL2: Towards a Prover Generation Platform. / Schmidt, Renate; Tishkovsky, D; Khodadadi, M et al.
Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012). ed. / R A Schmidt; F Papacchini. University of Manchester, School of Computer Science, 2012.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - MeTTeL2: Towards a Prover Generation Platform

AU - Schmidt, Renate

AU - Tishkovsky, D

AU - Khodadadi, M

A2 - Schmidt, R A

A2 - Papacchini, F

A2 - Schmidt, R A

A2 - Papacchini, F

PY - 2012

Y1 - 2012

M3 - Conference contribution

BT - Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012)

PB - University of Manchester, School of Computer Science

ER -