Iterative Lexicographic Path Orders

15 years 18 days ago

Abstract. We relate Kamin and L

Jan Willem Klop, Vincent van Oostrom, Roel C. de V

Applied Computing | BIRTHDAY 2006 | Iterative Lexicographic Path | Lexicographic Path Orders | Recursive Path Orders |

claim paper

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2006
Where	BIRTHDAY
Authors	Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer

Comments (0)