<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97208"><dc:title>Induktivni in koinduktivni podatkovni tipi</dc:title><dc:creator>Slak,	Jure	(Avtor)
	</dc:creator><dc:creator>Bauer,	Andrej	(Mentor)
	</dc:creator><dc:subject>matematika</dc:subject><dc:subject>začetna F-algebra</dc:subject><dc:subject>končna F-koalgebra</dc:subject><dc:subject>induktivni podatkovni tipi</dc:subject><dc:subject>koinduktivni podatkovni tipi</dc:subject><dc:subject>indukcija</dc:subject><dc:subject>koindukcija</dc:subject><dc:subject>rekurzija</dc:subject><dc:subject>korekurzija</dc:subject><dc:publisher>[J. Slak]</dc:publisher><dc:date>2015</dc:date><dc:date>2017-10-23 08:46:58</dc:date><dc:type>Delo diplomskega seminarja/zaključno seminarsko delo/naloga</dc:type><dc:identifier>97208</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>