TY - GEN A1 - Steingartner William A1 - Radaković Davorka A1 - Valkosak Frantisek A1 - Macko Pavol PB - Wydaw. Politechniki Częstochowskiej L1 - http://www.sbc.org.pl/Content/312365/PDF/JAMCM_2016_4_16-Steingartner_Radakovic.pdf L2 - http://www.sbc.org.pl/Content/312365 KW - coalgebra functor KW - induction KW - internal state of program KW - observable behavior of program KW - SLGeometry software T1 - Some properties of coalgebras and their rôle in computer science UR - http://www.sbc.org.pl/dlibra/publication/edition/312365 ER -