Eduard Huntingford

	2010
3		Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Tiwari: Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories Logical Methods in Computer Science 6(3): (2010)
	2007
2		Guillem Godoy, Eduard Huntingford: Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems. RTA 2007: 184-199
1		Guillem Godoy, Eduard Huntingford, Ashish Tiwari: Termination of Rewriting with Right-Flat Rules. RTA 2007: 200-213

Coauthor Index

1	Luis Barguñó	[3]
2	Guillem Godoy	[1] [2] [3]
3	Ashish Tiwari	[1] [3]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page