A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and its Properties (bibtex)
by Stefan Milius, Dirk Pattinson, Thorsten Wißmann
Reference:
A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and its Properties (Stefan Milius, Dirk Pattinson, Thorsten Wißmann), In Proc. Foundations of Software Science and Computation Structures (FoSSaCS) (Bart Jacobs, Christof Löding, eds.), Lecture Notes Comput. Sci. (ARCoSS), vol. 9634, pp. 107–125, Springer, 2016. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-49630-5_7.
Bibtex Entry:
@InProceedings{mpw16,
  author = 	 {Stefan Milius and Dirk Pattinson and Thorsten Wi\ss{}mann},
  title = 	 {A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and its Properties},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Foundations of Software Science and Computation Structures (FoSSaCS)},
  year = 	 {2016},
  editor = 	 {Bart Jacobs and Christof L\"oding},
  volume = 	 {9634},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci. (ARCoSS)},
  pages = 	 {107--125},
  doi       = {10.1007/978-3-662-49630-5_7},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-49630-5_7">http://dx.doi.org/10.1007/978-3-662-49630-5_7</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
Powered by bibtexbrowser