Hues of Satisfaction : Many-valued Institutions for Constraint Specification. / Chirita, Claudia-Elena; Fiadeiro, José Luiz; Orejas, Fernando.

2015. 1-2.

Research output: Contribution to conferenceAbstract

Published

Standard

Hues of Satisfaction : Many-valued Institutions for Constraint Specification. / Chirita, Claudia-Elena; Fiadeiro, José Luiz; Orejas, Fernando.

2015. 1-2.

Research output: Contribution to conferenceAbstract

Harvard

APA

Vancouver

Author

BibTeX

@conference{c71c8002697f4f2caa43abff609ea0f0,
title = "Hues of Satisfaction: Many-valued Institutions for Constraint Specification",
author = "Claudia-Elena Chirita and Fiadeiro, {Jos{\'e} Luiz} and Fernando Orejas",
year = "2015",
language = "English",
pages = "1--2",

}

RIS

TY - CONF

T1 - Hues of Satisfaction

T2 - Many-valued Institutions for Constraint Specification

AU - Chirita, Claudia-Elena

AU - Fiadeiro, José Luiz

AU - Orejas, Fernando

PY - 2015

Y1 - 2015

UR - http://coalg.org/calco15/ei/chirita.pdf

M3 - Abstract

SP - 1

EP - 2

ER -