A small final coalgebra theorem
type: Item
instance of: scholarly article
title: A small final coalgebra theorem
zbMATH Open document ID: 0952.68101
DOI: 10.1016/S0304-3975(97)00302-2
author: Yasuo Kawahara
author: Masao Mori
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 08C05
Mathematics Subject Classification ID: 18A40
Mathematics Subject Classification ID: 18C50
zbMATH DE Number: 1495224
zbMATH Keywords: final coalgebras
MaRDI profile type: Publication
cites work: On the greatest fixed point of a set functor
cites work: Q3992552
cites work: A final coalgebra theorem
cites work: Terminal coalgebras in well-founded set theory
cites work: Relational structures and their partial morphisms in view of single pushout rewriting
cites work: Q5639839
cites work: Q3992568
cites work: On graph rewritings
Wikidata QID: Q127564727
full work available at URL: s0304-3975(97)00302-2
OpenAlex ID: W1968710902
description: scientific article; zbMATH DE number 1495224