Proving symmetries by model transformation

Christopher Mears; Todd Niven

Proving symmetries by model transformation

Christopher Mears, Todd Niven

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

Original language	English
Title of host publication	Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation
Editors	Toni Mancini, Justin K Pearson
Place of Publication	Uppsala Sweden
Publisher	Uppsala Universitet (University of Uppsala)
Pages	1 - 15
Number of pages	15
Publication status	Published - 2010
Event	International Workshop on Constraint Modelling and Reformulation 2010 - St Andrews Scotland UK, St Andrews Scotland, United Kingdom Duration: 1 Jan 2010 → …

Workshop

Workshop	International Workshop on Constraint Modelling and Reformulation 2010
Abbreviated title	ModRef 2010
Country	United Kingdom
City	St Andrews Scotland
Period	1/01/10 → …
Other	held at the International Conference on the Principles and Practice of Constraint Programming (CP 2010)

Cite this

@inproceedings{b0dbda15c58540a28bb3f85ed2562f76,

title = "Proving symmetries by model transformation",

author = "Christopher Mears and Todd Niven",

year = "2010",

language = "English",

pages = "1 -- 15",

editor = "Toni Mancini and Pearson, {Justin K}",

booktitle = "Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation",

publisher = "Uppsala Universitet (University of Uppsala)",

address = "Sweden",

note = "International Workshop on Constraint Modelling and Reformulation 2010, ModRef 2010 ; Conference date: 01-01-2010",

}

Mears, C & Niven, T 2010, Proving symmetries by model transformation. in T Mancini & JK Pearson (eds), Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation. Uppsala Universitet (University of Uppsala), Uppsala Sweden, pp. 1 - 15, International Workshop on Constraint Modelling and Reformulation 2010, St Andrews Scotland, United Kingdom, 1/01/10.

Proving symmetries by model transformation. / Mears, Christopher; Niven, Todd.

Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation. ed. / Toni Mancini; Justin K Pearson. Uppsala Sweden : Uppsala Universitet (University of Uppsala), 2010. p. 1 - 15.

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

TY - GEN

T1 - Proving symmetries by model transformation

AU - Mears, Christopher

AU - Niven, Todd

PY - 2010

Y1 - 2010

M3 - Conference Paper

SP - 1

EP - 15

BT - Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation

A2 - Mancini, Toni

A2 - Pearson, Justin K

PB - Uppsala Universitet (University of Uppsala)

CY - Uppsala Sweden

T2 - International Workshop on Constraint Modelling and Reformulation 2010

Y2 - 1 January 2010

ER -