Další formáty:
BibTeX
LaTeX
RIS
@article{575326, author = {Kurz, A. and Rosický, J.}, article_number = {1}, keywords = {operation; coequation; coalgebra}, language = {eng}, issn = {0960-1295}, journal = {Mathematical Structures in Computer Science}, title = {Operations and equations for coalgebras}, volume = {15}, year = {2005} }
TY - JOUR ID - 575326 AU - Kurz, A. - Rosický, J. PY - 2005 TI - Operations and equations for coalgebras JF - Mathematical Structures in Computer Science VL - 15 IS - 1 SP - 149-166 EP - 149-166 SN - 09601295 KW - operation KW - coequation KW - coalgebra N2 - We show how coalgebras can be presented by operations and coequations. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. ER -
KURZ, A. a J. ROSICKÝ. Operations and equations for coalgebras. \textit{Mathematical Structures in Computer Science}. 2005, roč.~15, č.~1, s.~149-166. ISSN~0960-1295.
|