A coinductive calculus of binary trees

DOI10.1016/j.ic.2008.08.006zbMath1200.68082OpenAlexW2167808031MaRDI QIDQ964505

Alexandra Silva, Jan J. M. M. Rutten

Publication date: 22 April 2010

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/11938

zbMATH Keywords

infinite binary trees

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (1)

Concrete stream calculus: An extended study

Cites Work

• Universal coalgebra: A theory of systems
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Automatic Sequences
• A coinductive calculus of streams
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A coinductive calculus of binary trees