A Labelled Tableau Approach for Temporal Logic with Constraints

Renate Schmidt; D Dixon; B Konev; D Tishkovsky; R A Schmidt; F Papacchini

A Labelled Tableau Approach for Temporal Logic with Constraints

Renate Schmidt, D Dixon, B Konev, D Tishkovsky, 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., Dixon, D., Konev, B., Tishkovsky, D., Schmidt, R. A. (Ed.), & Papacchini, F. (Ed.) (2012). A Labelled Tableau Approach for Temporal Logic with Constraints. 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{5d6e1fd4b42b4320bee0f52c05227ab4,

title = "A Labelled Tableau Approach for Temporal Logic with Constraints",

author = "Renate Schmidt and D Dixon and B Konev and D Tishkovsky 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, Dixon, D, Konev, B, Tishkovsky, D, Schmidt, RA (ed.) & Papacchini, F (ed.) 2012, A Labelled Tableau Approach for Temporal Logic with Constraints. 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>

A Labelled Tableau Approach for Temporal Logic with Constraints. / Schmidt, Renate; Dixon, D; Konev, B 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 - A Labelled Tableau Approach for Temporal Logic with Constraints

AU - Schmidt, Renate

AU - Dixon, D

AU - Konev, B

AU - Tishkovsky, D

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 -