An Oxford Survey of Order Sorted Algebra (1994)
Cached
Download Links
- [ftp.imar.ro]
- [www-cse.ucsd.edu]
- [www.cs.ucsd.edu]
- [www.cse.ucsd.edu]
- DBLP
Other Repositories/Bibliography
by
Joseph Goguen
,
Razvan Diaconescu
| Venue: | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |
| Citations: | 20 - 2 self |
BibTeX
@INPROCEEDINGS{Goguen94anoxford,
author = {Joseph Goguen and Razvan Diaconescu},
title = {An Oxford Survey of Order Sorted Algebra},
booktitle = {MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE},
year = {1994},
pages = {363--392},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 156 | On the structure of abstract algebras - Birkhoff - 1935 |
| 79 | P.: Logical support for modularisation - Diaconescu, Stefaneas - 1993 |
| 24 | Structures Algébriques dans les Catégories, Cahiers de Topologie et Géometrie Differéntielle - Bénabou - 1968 |
| 19 | Semantics of computation - Goguen - 1974 |
| 18 | Hiding and behaviour: an institutional approach - Burstall, Diaconescu - 1992 |
| 13 | Partially ordered sorts in algebraic specifications - Gogolla - 1984 |
| 3 | The formal completeness of Equational Logics - Diaconescu - 1991 |
| 1 | Term declaration logic and generalised composita - Aczel - 1990 |
| 1 | Antimirov and Anatoli Degtyarev. Consistency of equational enrichments - Valentin - 1992 |
