1 - 1 / 1 1 |
1. Induktivni in koinduktivni podatkovni tipi Jure Slak, 2015, diplomsko delo Ključne besede: matematika, začetna F-algebra, končna F-koalgebra, induktivni podatkovni tipi, koinduktivni podatkovni tipi, indukcija, koindukcija, rekurzija, korekurzija |