Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is A. Voronkov  [Clear All Filters]
2008
Levy J, Villaret M.  2008.  Nominal Unification from a Higher-Order Perspective. Proc. of the 19th International Conference on Rewriting Techniques and Applications, RTA'08. 5117:246-260.