%0 Journal Article %1 journals/dmtcs/Moss01 %A Moss, Lawrence S. %D 2001 %J Discret. Math. Theor. Comput. Sci. %K dblp %N 2 %P 291-300 %T Simple Equational Specifications of Rational Arithmetic. %U http://dblp.uni-trier.de/db/journals/dmtcs/dmtcs4.html#Moss01 %V 4

@article{journals/dmtcs/Moss01, added-at = {2023-01-24T00:00:00.000+0100}, author = {Moss, Lawrence S.}, biburl = {https://www.bibsonomy.org/bibtex/29f72e7124b0986cac1c52d35b4e02a43/dblp}, ee = {https://doi.org/10.46298/dmtcs.280}, interhash = {db178cc613aab67e54786da88d310ce9}, intrahash = {9f72e7124b0986cac1c52d35b4e02a43}, journal = {Discret. Math. Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {291-300}, timestamp = {2024-04-08T14:54:51.000+0200}, title = {Simple Equational Specifications of Rational Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/dmtcs/dmtcs4.html#Moss01}, volume = 4, year = 2001 }