@ARTICLE{Eda97,
  author = {Edalat, Abbas},
  title = {Domains for Computation in Mathematics, Physics and Exact Real Arithmetic},
  journal = {Bulletin of Symbolic Logic},
  year = {1997},
  volume = {3},
  pages = {401--452},
  number = {4},
  keywords = {bib,cca,dom}
}

{"_id":"EtzcKrvz56wwFJrzC","bibbaseid":"edalat-domainsforcomputationinmathematicsphysicsandexactrealarithmetic-1997","authorIDs":[],"author_short":["Edalat, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Edalat"],"firstnames":["Abbas"],"suffixes":[]}],"title":"Domains for Computation in Mathematics, Physics and Exact Real Arithmetic","journal":"Bulletin of Symbolic Logic","year":"1997","volume":"3","pages":"401–452","number":"4","keywords":"bib,cca,dom","bibtex":"@ARTICLE{Eda97,\r\n author = {Edalat, Abbas},\r\n title = {Domains for Computation in Mathematics, Physics and Exact Real Arithmetic},\r\n journal = {Bulletin of Symbolic Logic},\r\n year = {1997},\r\n volume = {3},\r\n pages = {401--452},\r\n number = {4},\r\n keywords = {bib,cca,dom}\r\n}\r\n\r\n","author_short":["Edalat, A."],"key":"Eda97","id":"Eda97","bibbaseid":"edalat-domainsforcomputationinmathematicsphysicsandexactrealarithmetic-1997","role":"author","urls":{},"keyword":["bib","cca","dom"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.631Z","downloads":0,"keywords":["bib","cca","dom"],"search_terms":["domains","computation","mathematics","physics","exact","real","arithmetic","edalat"],"title":"Domains for Computation in Mathematics, Physics and Exact Real Arithmetic","year":1997,"dataSources":["t7rKiAbxugj4Agz8M"]}