Searching for authors named "Chin Soon Lee" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Finiteness Analysis in Polynomial Time
- …Finiteness Analysis in Polynomial Time Chin Soon Lee ? Datalogisk Institut, Copenhagen University…
- Cited by 9 (4 self) – Add To MetaCart
-
Program Termination Analysis in Polynomial Time
- …Program Termination Analysis in Polynomial Time Chin Soon Lee ? Datalogisk Institut, Copenhagen…
- Cited by 5 (1 self) – Add To MetaCart
-
Ranking functions for size-change termination II
- … Soon Lee ⋆ Abstract. The Size-Change Termination technique is based on a program abstraction for which…
- Cited by 1 (1 self) – Add To MetaCart
-
The Size-Change Principle for Program Termination
- …The Size-Change Principle for Program Termination Chin Soon Lee Department of Computer Science…
- Cited by 106 (9 self) – Add To MetaCart
Showing 1 through 4.
