Login / Signup

Church-Rosser transformers and decidable properties of tree processing.

A. V. Anisimov
Published in: Algorithms in Modern Mathematics and Computer Science (1979)
Keyphrases
  • real time
  • desirable properties
  • data processing
  • convex constraints
  • first order logic
  • binary tree
  • databases
  • case study
  • special case
  • information processing
  • hierarchical structure
  • structural properties
  • tree models