Eduard Huntingford (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

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

Selection of 3 from 3 records - Eduard Huntingford has 3 coauthors

Last update 2012-02-18 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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)
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