%0 Journal Article %1 journals/rc/TischlerG11 %A Tischler, German %A von Gudenberg, Jürgen Wolff %D 2011 %J Reliab. Comput. %K %N 3 %P 279-289 %T Solving Decidability Problems with Interval Arithmetic. %U http://dblp.uni-trier.de/db/journals/rc/rc15.html#TischlerG11 %V 15

@article{journals/rc/TischlerG11, added-at = {2023-12-13T02:20:08.000+0100}, author = {Tischler, German and von Gudenberg, Jürgen Wolff}, biburl = {https://www.bibsonomy.org/bibtex/20c90464aba900132dc1746210b4214eb/admin}, ee = {http://interval.louisiana.edu/reliable-computing-journal/volume-15/no-3/reliable-computing-15-pp-279-289.pdf}, interhash = {7de13a747748527178e9a9e83a38f4f1}, intrahash = {0c90464aba900132dc1746210b4214eb}, journal = {Reliab. Comput.}, keywords = {}, number = 3, pages = {279-289}, timestamp = {2023-12-13T02:20:08.000+0100}, title = {Solving Decidability Problems with Interval Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/rc/rc15.html#TischlerG11}, volume = 15, year = 2011 }