A coinductive calculus of binary trees
type: Item
instance of: scholarly article
title: A coinductive calculus of binary trees
zbMATH Open document ID: 1200.68082
author: Alexandra Silva
author: Jan J. M. M. Rutten
published in: Information and Computation
publication date: 2010-04-22T00:00:00Z
full work available at URL: https://ir.cwi.nl/pub/11938
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 5697035
zbMATH Keywords: infinite binary trees
MaRDI profile type: Publication
OpenAlex ID: W2167808031
cites work: Q4330617
cites work: Automatic Sequences
cites work: Q3994777
cites work: Q4449537
cites work: Q3735051
cites work: Universal coalgebra: A theory of systems
cites work: Behavioural differential equations: a coinductive calculus of streams, automata, and power series
cites work: A coinductive calculus of streams
DOI: 10.1016/J.IC.2008.08.006
description: scientific article; zbMATH DE number 5697035