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