Implementing regular tree expressions

This publication has 7 references indexed in Scilit:

• Deciding equivalence of finite tree automata
  Published by Springer Nature ,2005
• Static type inference in a dynamically typed language
  Published by Association for Computing Machinery (ACM) ,1991
• A finite presentation theorem for approximating logic programs
  Published by Association for Computing Machinery (ACM) ,1990
• Declaration-free type checking
  Published by Association for Computing Machinery (ACM) ,1985
• Fundamental properties of infinite trees
  Theoretical Computer Science, 1983
• Flow analysis and optimization of LISP-like structures
  Published by Association for Computing Machinery (ACM) ,1979
• “Memo” Functions and Machine Learning
  Nature, 1968