Azeddine Lazrek
Azeddine Lazrek, Pierre Lescanne, and Jean-Jacques Thiel.
Tools for proving inductive equalities, relative completeness, and omega-completeness.
Information and Computation
, 84(1):47-70, January 1990.
Abstract, References, and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database