Author:
Kupferman Orna,Tamir Tami
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Aminof, B., Kupferman, O., Lampert, R.: Reasoning about online algorithms with weighted automata. In: Proc. 20th ACM-SIAM Symp. on Discrete Algorithms, pp. 835–844 (2009)
2. Lecture Notes in Computer Science;A. Chakrabarti,2005
3. Chatterjee, K., Doyen, L., Henzinger, T.: Quantative languages. In: Proc. 17th Annual Conf. of the European Association for Computer Science Logic, pp. 385–400 (2008)
4. Chvatal, V.: Linear Programming. W.H. Freeman and Company, New York (1983)
5. Dijkstra, E.W.: A note on two problems in connexion with graphs. Numerische Mathematik 1, 269–271 (1959)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献