Javier Esparza, Stefan Kiefer, Michael Luttenberger. Newton s Method for omega-Continuous Semirings. In Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz, editors, Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations. Volume 5126 of Lecture Notes in Computer Science, pages 14-26, Springer, 2008. [doi]
@inproceedings{EsparzaKL08,
title = {Newton s Method for omega-Continuous Semirings},
author = {Javier Esparza and Stefan Kiefer and Michael Luttenberger},
year = {2008},
doi = {10.1007/978-3-540-70583-3_2},
url = {http://dx.doi.org/10.1007/978-3-540-70583-3_2},
researchr = {https://researchr.org/publication/EsparzaKL08},
cites = {0},
citedby = {0},
pages = {14-26},
booktitle = {Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations},
editor = {Luca Aceto and Ivan Damgård and Leslie Ann Goldberg and Magnús M. Halldórsson and Anna Ingólfsdóttir and Igor Walukiewicz},
volume = {5126},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-70582-6},
}