| |
| 2000 | ||
|---|---|---|
| 4 | Michael Codish, Kim Marriott, Cohavit Taboch: Improving Program Analyses, by Structure Untupling. J. Log. Program. 43(3): 251-263 (2000) | |
| 1999 | ||
| 3 | Michael Codish, Cohavit Taboch: A Semantic Basis for the Termination Analysis of Logic Programs. J. Log. Program. 41(1): 103-123 (1999) | |
| 1997 | ||
| 2 | Michael Codish, Cohavit Taboch: A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints. ALP/HOA 1997: 31-45 | |
| 1 | Michael Codish, Cohavit Taboch: A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints. APPIA-GULP-PRODE 1997: 545-556 | |
| 1 | Michael Codish | [1] [2] [3] [4] |
| 2 | Kim Marriott | [4] |