×

zbMATH — the first resource for mathematics

An Oxford survey of order sorted algebra. (English) Zbl 0939.68710

MSC:
68Q65 Abstract data types; algebraic specification
08A70 Applications of universal algebra in computer science
Software:
2OBJ; OBJ3
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Goguen, Proceedings, First International Symposium on Category Theory Applied to Computation and Control pp 234– (1974)
[2] Sannella, Information and Control 76 pp 165– (1988)
[3] Poigné, Springer-Verlag Lecture Notes in Computer Science 176 (1984)
[4] Gogolla, Proceedings, Ninth CAAP (Bordeaux pp 139– (1984)
[5] Diaconescu, Logical Environments, Proceedings of a Workshop held in Edinburgh, Scotland, May 1991 pp 83– (1993)
[6] DOI: 10.1145/75277.75306
[7] Mosses, Proceedings, Fourth Annual Conference on Logic in Computer Science pp 304– (1989)
[8] DOI: 10.1017/S0305004100013463 · JFM 61.1026.07
[9] Mosses, Springer-Verlag Lecture Notes in Computer Science 349 (1989)
[10] Benabou, Cahiers de Topologie et Géometrie Différentiel 10 pp 1– (1968)
[11] DOI: 10.1073/pnas.50.5.869 · Zbl 0119.25901
[12] Andréka, Colloquia Mathematics Societas János Bolyai pp 13– (1981)
[13] Aczel, Term Declaration Logic and Generalised Composita (1990)
[14] DOI: 10.1002/mana.19630270108 · Zbl 0117.25903
[15] Halmos, Lectures on Boolean Algebras (1963)
[16] Goguen, Object Oriented Databases: Analysis, Design and Construction pp 1– (1991)
[17] Goguen, Applications of Algebraic Specification using OBJ (1994)
[18] Goguen, Journal of the Association for Computing Machinery 24 pp 68– (1977) · Zbl 0359.68018
[19] DOI: 10.1098/rsta.1992.0026
[20] DOI: 10.1016/0304-3975(92)90302-V · Zbl 0778.68056
[21] Goguen, Research Directions in Object-Oriented Programming pp 417– (1987)
[22] Goguen, Proceedings, Second Symposium on Logic in Computer Science, Ithaca NY pp 18– (1987)
[23] Goguen, Springer- Verlag Lecture Notes in Computer Science 250 pp 1– (1987)
[24] Goguen, Bulletin of the European Association for Theoretical Computer Science 30 pp 66– (1986)
[25] Goguen, Logic Programming: Functions, Relations and Equations pp 295– (1986)
[26] Whitehead, A Treatise on Universal Algebra, with Applications, I (1898) · Zbl 1205.15005
[27] Walther, Springer-Verlag Lecture Notes in Artificial Intelligence 418 pp 18– (1990)
[28] Goguen, Houston Journal of Mathematics 11 pp 307– (1985)
[29] Goguen, Springer-Verlag Lecture Notes in Computer Science 140 pp 265– (1982)
[30] DOI: 10.1016/0004-3702(85)90029-3 · Zbl 0569.68076
[31] Goguen, A Classical Mind: Essays in Honour of C. A. R. Hoare pp 119– (1994)
[32] DOI: 10.1016/0304-3975(92)90322-7 · Zbl 0746.68064
[33] Goguen, Springer-Verlag Lecture Notes in Computer Science 194 (1985)
[34] Goguen, Proceedings, Tenth Workshop on Abstract Data Types (1993)
[35] Goguen, Journal of the Association for Computing Machinery 39 pp 95– (1985) · Zbl 0799.68134
[36] Smolka, Resolution of Equations in Algebraic Structures, Volume 2: Rewriting Techniques (1989)
[37] Goguen, Topology and Category Theory in Computer Science pp 357– (1991)
[38] Schmidt-Schauss, Springer-Verlag Lecture Notes in Artificial Intelligence 395 (1989) · Zbl 0684.03019
[39] Reichel, Proceedings, Third Hungarian Computer Science Conference (1981)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.