BibTeX record conf/fics/KreutzerL09

download as .bib file

@inproceedings{DBLP:conf/fics/KreutzerL09,
  author       = {Stephan Kreutzer and
                  Martin Lange},
  editor       = {Ralph Matthes and
                  Tarmo Uustalu},
  title        = {A Note on the Relation between Inflationary Fixpoints and Least Fixpoints
                  of Higher Order},
  booktitle    = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
                  Portugal, September 12-13, 2009},
  pages        = {54--60},
  publisher    = {Institute of Cybernetics},
  year         = {2009},
  url          = {http://cs.ioc.ee/fics09/proceedings/contrib7.pdf},
  timestamp    = {Thu, 12 Mar 2020 11:33:35 +0100},
  biburl       = {https://dblp.org/rec/conf/fics/KreutzerL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics