Login / Signup
Azeddine Lazrek
Publication Activity (10 Years)
Years Active: 1990-1990
Publications (10 Years): 0
</>
Publications
</>
Azeddine Lazrek
,
Pierre Lescanne
,
Jean-Jacques Thiel
Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness
Inf. Comput.
84 (1) (1990)