Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is F. Baader  [Clear All Filters]
2007
Kutsia T, Levy J, Villaret M.  2007.  Sequence Unification Through Currying. Proc. of the 18th International Conference on Rewriting Techniques and Applications, RTA'07. 4533:288-302.