Statistics
Publications
6
Citations
176
H-Index
6
Active since
1980
Affiliations
Jean-Claude Raoult is an author at Université Paris Cité specializing in computer science, programming languages, and mathematics.
Publications per year
1980–1997
6
6
Proving open properties by induction
Jean-Claude Raoult · Information Processing Letters · 1988 · 41 citations
The global storage needs of a subcomputation
Jean-Claude Raoult, Ravi Sethi · 1984 · 19 citations
Bruno Courcelle, Jean-Claude Raoult · Fundamenta Informaticae · 1980 · 15 citations
1–5 of 6