Sciweavers

71
Voted
BIRTHDAY
2006
Springer
15 years 1 months ago
Iterative Lexicographic Path Orders
Abstract. We relate Kamin and L
Jan Willem Klop, Vincent van Oostrom, Roel C. de V...