Some proofs by strzctural
induction on lists
Novi Sad Journal of Mathematics, Tome 12 (1982)
Cet article a éte moissonné depuis la source Novi sad journal of mathematics website
@article{NSJOM_1982_12_Nonea_19,
author = {Stojmenovi\'c Ivan and Stojkovi\'c
Vojislav},
title = {Some proofs by strzctural
induction on lists},
journal = {Novi Sad Journal of Mathematics},
pages = {235-250},
year = {1982},
volume = {12},
url = {http://geodesic.mathdoc.fr/item/NSJOM_1982_12_Nonea_19/}
}
Stojmenović Ivan; Stojković Vojislav. Some proofs by strzctural induction on lists. Novi Sad Journal of Mathematics, Tome 12 (1982). http://geodesic.mathdoc.fr/item/NSJOM_1982_12_Nonea_19/