Eduard Huntingford

According to our database, Eduard Huntingford authored at least 3 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories

Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Tiwari

Log. Methods Comput. Sci., 2010

2007

Termination of Rewriting with Right-Flat Rules.

Guillem Godoy, Eduard Huntingford, Ashish Tiwari

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems.

Guillem Godoy, Eduard Huntingford

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007