On Well-Founded and Recursive Coalgebras (bibtex)
by Jiří Adámek, Stefan Milius and Lawrence S. Moss
Reference:
Jiří Adámek, Stefan Milius and Lawrence S. Moss: On Well-Founded and Recursive Coalgebras, In Barbara König, Jean Goubault-Larrecq, eds.: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes Comput. Sci. (ARCoSS), vol. 12077, pp. 17–36, Springer, 2020.
Bibtex Entry:
@InProceedings{AdamekEA20,
  author = 	 {Ji\v{r}\'\i\ Ad\'amek and Stefan Milius and Lawrence S.\ Moss},
  title = 	 {On Well-Founded and Recursive Coalgebras},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Foundations of Software Science and Computation Structures (FoSSaCS)},
  year = 	 {2020},
  editor = 	 {Barbara K\"onig and Jean Goubault-Larrecq},
  volume = 	 {12077},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci. (ARCoSS)},
  pages = 	 {17--36},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  OPTnote = 	 {To appear},
  OPTannote = 	 {}
}
Powered by bibtexbrowser