Kyriakos Kalorkoti: Research

Reports

• Turing degrees and the word and conjugacy problems for finitely presented groups.

Unpublished paper CSR-287-89 (1989).
• Model checking in the modal mu-calculus by substitutions.
  Unpublished paper (1996).
• On Macaulay's form of the resultant.
  Unpublished paper (2002).
• Exponential length of certain sequences of sets.
  Unpublished paper (2006).