JAIST Repository >
School of Information Science >
JAIST Research Reports >
Research Report - School of Information Science : ISSN 0918-7553 >
IS-RR-2009 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/8177

Title: Constructor-based Institutions
Authors: Gaina, Daniel
Futatsugi, Kokichi
Ogata, Kazuhiro
Issue Date: 2009-05-29
Publisher: 北陸先端科学技術大学院大学情報科学研究科
Magazine name: Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
Volume: IS-RR-2009-002
Start page: 1
End page: 19
Abstract: Many computer science applications concern properties which are true of a restricted class of models. We present a couple of constructorbasedinstitutions 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.
URI: http://hdl.handle.net/10119/8177
Material Type: publisher
Appears in Collections:IS-RR-2009

Files in This Item:

File Description SizeFormat
IS-RR-2009-002.pdf301KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology