Login / Signup

A coinductive calculus of binary trees.

Alexandra SilvaJan J. M. M. Rutten
Published in: Inf. Comput. (2010)
Keyphrases
  • binary trees
  • series parallel
  • binary tree
  • leaf nodes
  • hash tables
  • knowledge based systems
  • parallel processing