MetTeL2: Towards a prover generation platform

Dmitry Tishkovsky, Renate A Schmidt, Mohammad Khodadadi, R A Papacchini (Editor), F Schmidt (Editor)

Research output: Chapter in Book/Conference proceeding › Chapter

Original language	English
Title of host publication	Proceedings of the 19th Workshop on Automated Reasoning (ARW2012)
Publisher	University of Manchester, Department of Computer Science
Pages	55-56
Number of pages	2
Publication status	Published - 2012

Access to Document

@inbook{b80632ecb5514f02ade61dc77a1c0e6a,

title = "MetTeL2: Towards a prover generation platform",

author = "Dmitry Tishkovsky and Schmidt, {Renate A} and Mohammad Khodadadi and Papacchini, {R A} and F Schmidt",

year = "2012",

language = "English",

pages = "55--56",

booktitle = "Proceedings of the 19th Workshop on Automated Reasoning (ARW2012)",

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

address = "United Kingdom",

}