Equational Axiomatization of Algebras with Structure (bibtex)

by Stefan Milius and Henning Urbat

Reference:

Stefan Milius and Henning Urbat: Equational Axiomatization of Algebras with Structure, In Mikołaj Bojańczyk, Alex Simpson, eds.: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes Comput. Sci. (ARCoSS), vol. 11425, pp. 400–417, Springer, 2019.

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{mu19,
  author = 	 {Stefan Milius and Henning Urbat},
  title = 	 {Equational Axiomatization of Algebras with Structure},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Foundations of Software Science and Computation Structures (FoSSaCS)},
  year = 	 {2019},
  editor = 	 {Miko\l{}aj Boja\'nczyk and Alex Simpson},
  volume = 	 {11425},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci. (ARCoSS)},
  pages = 	 {400--417},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  OPTnote = 	 {{F}ull version available online at \url{https://arxiv.org/abs/1812.02016}},
  OPTannote = 	 {}
}