Author:
Fogarty Seth,Vardi Moshe Y.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Ben-Amram, A.M., Lee, C.S.: Program termination analysis in polynomial time. TOPLAS 29(1) (2007)
2. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: ICLMPS (1962)
3. Choueka, Y.: Theories of automata on ω-tapes: A simplified approach. In: JCSS (1974)
4. Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press/McGraw-Hill (1990)
5. Jones, N.D., Lee, C.S., Ben-Amram, A.M.: The size-change principle for program termination. In: POPL, pp. 81–92 (2001)
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献