Title of article
Stratified institutions and elementary homomorphisms
Author/Authors
Marc Aiguier، نويسنده , , R?zvan Diaconescu، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2007
Pages
9
From page
5
To page
13
Keywords
Elementary homomorphisms , Elementary colimit theorem , institutions , formal methods
Journal title
Information Processing Letters
Serial Year
2007
Journal title
Information Processing Letters
Record number
130440
Link To Document