Login / Signup
Alain Laville
Publication Activity (10 Years)
Years Active: 1986-1991
Publications (10 Years): 0
</>
Publications
</>
Alain Laville
Comparison of Priority Rules in Pattern Matching and Term Rewriting.
J. Symb. Comput.
11 (4) (1991)
Alain Laville
Implementation of Lazy Pattern Matching Algorithms.
ESOP
(1988)
Alain Laville
Lazy pattern matching in the ML language.
FSTTCS
(1987)
Thérèse Hardin
,
Alain Laville
Proof of termination of the rewriting system subst on CCL.
Theor. Comput. Sci.
46 (1986)