Sciweavers

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