Back to Search Start Over

Observational Coalgebras and Complete Sets of Co-operations.

Authors :
Kupke, Clemens
Rutten, Jan
Source :
ENTCS: Electronic Notes in Theoretical Computer Science; Jun2008, Vol. 203 Issue 5, p153-174, 22p
Publication Year :
2008

Abstract

Abstract: In this paper we introduce the notion of an observational coalgebra structure and of a complete set of co-operations. We demonstrate in various example the usefulness of these notions, in particular, we show how they give rise to coalgebraic proof and definition principles. [Copyright &y& Elsevier]

Subjects

Subjects :
ALGEBRA
COMPUTER science
MATHEMATICS
SCIENCE
PROOF theory

Details

Language :
English
ISSN :
15710661
Volume :
203
Issue :
5
Database :
Supplemental Index
Journal :
ENTCS: Electronic Notes in Theoretical Computer Science
Publication Type :
Periodical
Accession number :
32557121
Full Text :
https://doi.org/10.1016/j.entcs.2008.05.024
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details