Cohavit Taboch

	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

Coauthor Index

1	Michael Codish	[1] [2] [3] [4]
2	Kim Marriott	[4]