Repository | Directory | Profile

Roel de Vrijer
Iterative lexicographic path orders
2006
in: Algebra, meaning, and computation, Dordrecht : Springer

Central and East European
Society for Phenomenology
Repository | Directory | Profile
Iterative lexicographic path orders
2006
in: Algebra, meaning, and computation, Dordrecht : Springer