BibTeX
@MISC{Kurz02modalpredicates,
author = {Alexander Kurz and Jirí Rosicky},
title = {Modal Predicates and Coequations},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We show how coalgebras can be presented by operations and equations. We discuss the basic properties of this presentation and compare it with the usual approach.
