BibTeX record journals/rita/SantiagoA96

download as .bib file

@article{DBLP:journals/rita/SantiagoA96,
  author    = {Regivan Hugo Nunes Santiago and
               Benedito Melo Aci{\'{o}}ly},
  title     = {Toward a logic for numerical approximations},
  journal   = {{RITA}},
  volume    = {3},
  number    = {2},
  pages     = {147--166},
  year      = {1996},
  timestamp = {Thu, 19 Nov 2015 16:04:17 +0100},
  biburl    = {https://dblp.org/rec/journals/rita/SantiagoA96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics