Number of the records: 1
A Structural Co-induction Theorem
Title A Structural Co-induction Theorem Author Carpenter M.P. Issue data Amsterdam : Stichting Mathematisch Centrum , 1993. - 17s. Edition CWI Language eng - English Country NL - Netherlands UDC 512 Catal.org. SAVINFO Copy count 1, currently available 0, at library only 1 Document kind správy výskumné 
book
Call number Location Sublocation Info R TR 91/93 Ústav informatiky SAV In-Library Use Only
Number of the records: 1