![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 5 | Amir M. Ben-Amram, Chin Soon Lee: Ranking Functions for Size-Change Termination II Logical Methods in Computer Science 5(2): (2009) | |
| 4 | Amir M. Ben-Amram, Chin Soon Lee: Program termination analysis in polynomial time. ACM Trans. Program. Lang. Syst. 29(1): (2007) | |
| 1 | Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram: The size-change principle for program termination. POPL 2001: 81-92 |
Selection of 3 from 6 records - Chin Soon Lee has 2 coauthors
Copyright © 2010-01-02 by Michael Ley (ley@uni-trier.de)