On the behaviour of coalgebras with side effects and algebras with effectful iteration (bibtex)
by Jiří Adámek, Stefan Milius and Henning Urbat
Reference:
Jiří Adámek, Stefan Milius and Henning Urbat: On the behaviour of coalgebras with side effects and algebras with effectful iteration, In J. Logic Comput., 31(6), pp. 1429–1481, 2021.
Bibtex Entry:
@Article{amu21,
  author = 	 {Ad\'amek, Ji\v{r}\'i and Milius, Stefan and Urbat, Henning},
  title = 	 {On the behaviour of coalgebras with side effects and algebras with effectful iteration},
  journal = 	 {J.~Logic Comput.},
  year = 	 {2021},
  OPTkey = 	 {},
  volume = 	 {31},
  number = 	 {6},
  pages = 	 {1429-1481},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
Powered by bibtexbrowser