暂无分享,去创建一个
[1] Joseph A. Goguen,et al. Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.
[2] Jan A. Bergstra,et al. Inversive meadows and divisive meadows , 2009, J. Appl. Log..
[3] Desmond Fearnley-Sander,et al. Universal Algebra , 1982 .
[4] Martin Wirsing,et al. Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[5] G. McNulty,et al. Algebras, Lattices, Varieties , 1988, Mathematical Surveys and Monographs.
[6] J. von Neumann,et al. On Regular Rings. , 1936, Proceedings of the National Academy of Sciences of the United States of America.
[7] Martin C. Henson,et al. Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) , 2007 .
[8] Dines Bjørner,et al. Logics of Specification Languages , 2007, Monographs in Theoretical Computer Science. An EATCS Series.
[9] Jan A. Bergstra,et al. A negative result on algebraic specifications of the meadow of rational numbers , 2015, ArXiv.
[10] Inge Bethke,et al. The initial meadows , 2008, The Journal of Symbolic Logic.
[11] Stanley Burris,et al. A course in universal algebra , 1981, Graduate texts in mathematics.
[12] Inge Bethke,et al. The structure of finite meadows , 2009, J. Log. Algebraic Methods Program..
[13] Jan A. Bergstra,et al. The rational numbers as an abstract data type , 2007, JACM.
[14] Jan A. Bergstra,et al. Equations for formally real meadows , 2013, J. Appl. Log..
[15] Wolfgang Wechler,et al. Universal Algebra for Computer Scientists , 1992, EATCS Monographs on Theoretical Computer Science.
[16] T. E. Hall,et al. Identities for existence varieties of regular semigroups , 1989, Bulletin of the Australian Mathematical Society.
[17] Yuichi Komori,et al. Free Algebras over All Fields and Pseudo-fields , 1975 .