Publications

of Ersha Rahimikia

Miscellaneous

  1. Ersha Rahimikia. Detecting non-termination in Constraint Handling Rules. Master's thesis, Dept. Computing and Software, McMaster University, 2007. Keyword(s): termination, termination.

BACK TO INDEX