Alain Laville

Statistics

Publications

Citations

101

H-Index

Active since

1986

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Alain Laville is an author at Institut national de recherche en sciences et technologies du numérique specializing in rewriting systems, rewrite systems, and computer science.

Publications per year

1986–1991

Publications

The CAML reference manual

Pierre Weis, Maria Virginia Aponte, Alain Laville et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1990 · 35 citations · Full text

Engineering, Computer Science, Documentation +3

Proof of termination of the rewriting system subst on CCL

Thérèse Hardin, Alain Laville · Theoretical Computer Science · 1986 · 34 citations · Full text

Computing, Computer Science, Formal Methods +5

Comparison of priority rules in pattern matching and term rewriting

Alain Laville · Journal of Symbolic Computation · 1991 · 32 citations · Full text

Law, Decision Sciences, Syntax +10

1–3 of 3