Azeddine Lazrek

According to our database, Azeddine Lazrek authored at least 1 paper in 1990.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1990

Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness

Azeddine Lazrek, Pierre Lescanne, Jean-Jacques Thiel

Inf. Comput., January, 1990