Cohavit Taboch
According to our database1,
Cohavit Taboch
authored at least 3 papers
between 1997 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
1997
1998
1999
2000
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
1999
J. Log. Program., 1999
1997
A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997