BibTeX record conf/ifip/BorgerLR94

download as .bib file

@inproceedings{DBLP:conf/ifip/BorgerLR94,
  author       = {Egon B{\"{o}}rger and
                  Francisco Javier L{\'{o}}pez{-}Fraguas and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  editor       = {Bj{\"{o}}rn Pehrson and
                  Imre Simon},
  title        = {A Model for Mathematical Analysis of Functional Logic Programs and
                  Their Implementations},
  booktitle    = {Technology and Foundations - Information Processing '94, Volume 1,
                  Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
                  28 August - 2 September, 1994},
  series       = {{IFIP} Transactions},
  volume       = {{A-51}},
  pages        = {410--415},
  publisher    = {North-Holland},
  year         = {1994},
  timestamp    = {Tue, 15 Mar 2016 13:03:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip/BorgerLR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.