|
|||||
|
|
Elementary Diagrams in Institutions |
|
| Authors: | Diaconescu Razvan |
| Affiliation: | Institute of Mathematics ‘Simion Stoilow’, PO Box 1-764, Bucharest 014700, Romania. E-mail: Razvan.Diaconescu{at}imar.ro |
| Abstract: | |
| Keywords: | Institutions abstract model theory elementary diagrams algebraic specification quasi-varities |
| 本文献已被 Oxford 等数据库收录！ | |