MetTeL2: Towards a Tableau Prover Generation Platform

Renate Schmidt, D Tishkovsky, M Khodadadi, P Fontaine (Editor), R A Schmidt (Editor), S Schulz (Editor)

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

128 Downloads (Pure)

Original language	English
Title of host publication	PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning
Editors	P Fontaine, R A Schmidt, S Schulz
Publication status	Published - 2012

Access to Document

@inproceedings{cad27ad44b81464b87eb9bbc66a85069,

title = "MetTeL2: Towards a Tableau Prover Generation Platform",

author = "Renate Schmidt and D Tishkovsky and M Khodadadi and P Fontaine and Schmidt, {R A} and S Schulz",

note = "To appear",

year = "2012",

language = "English",

editor = "P Fontaine and Schmidt, {R A} and S Schulz",

booktitle = "PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning",

}

TY - GEN

T1 - MetTeL2: Towards a Tableau Prover Generation Platform

AU - Schmidt, Renate

AU - Tishkovsky, D

AU - Khodadadi, M

A2 - Fontaine, P

A2 - Schmidt, R A

A2 - Schulz, S

A2 - Fontaine, P

A2 - Schmidt, R A

A2 - Schulz, S

N1 - To appear

PY - 2012

Y1 - 2012

M3 - Conference contribution

BT - PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning

ER -