TY - GEN
T1 - Constructor-based institutions
AU - Gǎinǎ, Daniel
AU - Futatsugi, Kokichi
AU - Ogata, Kazuhiro
PY - 2009
Y1 - 2009
N2 - Many computer science applications concern properties which are true of a restricted class of models. We present a couple of constructor-based institutions defined on top of some base institutions by restricting the class of models. We define the proof rules for these logics formalized as institutions, and prove their completeness in the abstract framework of institutions.
AB - Many computer science applications concern properties which are true of a restricted class of models. We present a couple of constructor-based institutions defined on top of some base institutions by restricting the class of models. We define the proof rules for these logics formalized as institutions, and prove their completeness in the abstract framework of institutions.
UR - http://www.scopus.com/inward/record.url?scp=70350417906&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70350417906&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-03741-2_27
DO - 10.1007/978-3-642-03741-2_27
M3 - Conference contribution
AN - SCOPUS:70350417906
SN - 3642037402
SN - 9783642037405
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 398
EP - 412
BT - Algebra and Coalgebra in Computer Science - Third International Conference, CALCO 2009, Proceedings
T2 - 3rd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009
Y2 - 7 September 2009 through 10 September 2009
ER -