Login / Signup

Metric Interpretations of Infinite Trees and Semantics of non Deterministic Recursive Programs.

André ArnoldMaurice Nivat
Published in: Theor. Comput. Sci. (1980)
Keyphrases
  • recursive programs
  • transformation rules
  • program synthesis
  • semantic information
  • tree structure
  • metric space
  • metamodel
  • logic programs
  • logic programming
  • machine learning
  • data streams
  • tree structures