Catherine Delor

Publication Activity (10 Years)

Years Active: 1993-1994
Publications (10 Years): 0

Publications

Hubert Comon, Catherine Delor
Equational Formulae with Membership Constraints Inf. Comput. 112 (2) (1994)
Catherine Delor, Laurence Puel
Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols. RTA (1993)