Abstract Semantic Algebras

Peter D. Mosses. Abstract Semantic Algebras. In Dines Bjørner, editor, Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982. pages 45-72, North-Holland, 1982.

@inproceedings{Mosses82,
  title = {Abstract Semantic Algebras},
  author = {Peter D. Mosses},
  year = {1982},
  researchr = {https://researchr.org/publication/Mosses82},
  cites = {0},
  citedby = {0},
  pages = {45-72},
  booktitle = {Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
  editor = {Dines Bjørner},
  publisher = {North-Holland},
  isbn = {0-444-86619-1},
}