Inductive sets, the algebraic way

H.P.J. Geldrop - van Eijk, van, J.C.S.P. Woude, van der

Research output: Book/ReportReportAcademic

319 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages27
Publication statusPublished - 2004

Publication series

NameComputer science reports
Volume0442
ISSN (Print)0926-4515

Cite this