scientific article
From MaRDI portal
Publication:3314971
zbMath0532.68028MaRDI QIDQ3314971
Vojislav Stojković, Ivan Stojmenović
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
correctnessfunctional programminglistsprogram provingelementary functions on lists, structural induction
This page was built for publication: