Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
(2000-2009)
Iterative lexicographic path orders
2006
Vincent van OostromRoel de Vrijer
in: Algebra, meaning, and computation, Dordrecht : Springer
