Eduard Huntingford

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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 Guillem Godoy [1] [2]

2 Ashish Tiwari [1]