[IEEE Comput. Soc 13th Annual IEEE Symposium on Logic in Computer Science - Indianapolis, IN, USA (21-24 June 1998)] Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) - An axiomatics for categories of transition systems as coalgebras
Johnstone, P., Power, J., Tsujishita, T.Year:
1998
Language:
english
DOI:
10.1109/lics.1998.705657
File:
PDF, 194 KB
english, 1998