MetTeL: A Generic Tableau Prover.

Dmitry Tishkovsky, Renate A Schmidt, Mohammad Khodadadi, A Miller (Editor), R Kirwan (Editor)

Research output: Chapter in Book/Conference proceeding › Chapter

Original language	English
Title of host publication	Proceedings of the 18th Workshop on Automated Reasoning (ARW2011)
Publisher	University of Glasgow, Department of Computing Science
Pages	3-4
Number of pages	2
Publication status	Published - 2011

Keywords

@inbook{4eb31f01630243a6882a906ca44c6b06,

title = "MetTeL: A Generic Tableau Prover.",

keywords = "Automated reasoning, theorem proving, model checking",

author = "Dmitry Tishkovsky and Schmidt, \{Renate A\} and Mohammad Khodadadi and A Miller and R Kirwan",

year = "2011",

language = "English",

pages = "3--4",

booktitle = "Proceedings of the 18th Workshop on Automated Reasoning (ARW2011)",

publisher = "University of Glasgow, Department of Computing Science",

address = "United Kingdom",

}

TY - CHAP

T1 - MetTeL: A Generic Tableau Prover.

AU - Tishkovsky, Dmitry

AU - Schmidt, Renate A

AU - Khodadadi, Mohammad

A2 - Miller, A

A2 - Kirwan, R

PY - 2011

Y1 - 2011

KW - Automated reasoning

KW - theorem proving

KW - model checking

M3 - Chapter

SP - 3

EP - 4

BT - Proceedings of the 18th Workshop on Automated Reasoning (ARW2011)

PB - University of Glasgow, Department of Computing Science

ER -