BibTeX record conf/lata/BhaskarCJO20

download as .bib file

@inproceedings{DBLP:conf/lata/BhaskarCJO20,
  author    = {Siddharth Bhaskar and
               Jane Chandlee and
               Adam Jardine and
               Christopher Oakden},
  editor    = {Alberto Leporati and
               Carlos Mart{\'{\i}}n{-}Vide and
               Dana Shapira and
               Claudio Zandron},
  title     = {Boolean Monadic Recursive Schemes as a Logical Characterization of
               the Subsequential Functions},
  booktitle = {Language and Automata Theory and Applications - 14th International
               Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12038},
  pages     = {157--169},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-40608-0\_10},
  doi       = {10.1007/978-3-030-40608-0\_10},
  timestamp = {Thu, 27 Feb 2020 18:56:35 +0100},
  biburl    = {https://dblp.org/rec/conf/lata/BhaskarCJO20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics