%0 Conference Paper %1 conf/icalp/BoigelotRW98 %A Boigelot, Bernard %A Rassart, Stéphane %A Wolper, Pierre %B ICALP %D 1998 %E Larsen, Kim Guldstrand %E Skyum, Sven %E Winskel, Glynn %I Springer %K dblp %P 152-163 %T On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/icalp/icalp98.html#BoigelotRW98 %V 1443 %@ 3-540-64781-3

@inproceedings{conf/icalp/BoigelotRW98, added-at = {2024-02-05T00:00:00.000+0100}, author = {Boigelot, Bernard and Rassart, Stéphane and Wolper, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/20e45b839178889f46dedc1779ea67d20/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1998}, editor = {Larsen, Kim Guldstrand and Skyum, Sven and Winskel, Glynn}, ee = {https://doi.org/10.1007/BFb0055049}, interhash = {2ce6ecba627b6a65e01de3b84b7418a6}, intrahash = {0e45b839178889f46dedc1779ea67d20}, isbn = {3-540-64781-3}, keywords = {dblp}, pages = {152-163}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:59:56.000+0200}, title = {On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp98.html#BoigelotRW98}, volume = 1443, year = 1998 }