3526 articles – 5249 references  [version française]
.:. Browse > List by authors > Kounalis .:.
1 document
fulltext access Automated mathematical induction
Bouhoula A., Kounalis E., Rusinowitch M.
N° RR-2187 (1994) [inria-00074484 - version 1]