Solving systems of set constraints using tree automata
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 505-514
- https://doi.org/10.1007/3-540-56503-5_50
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Sorted unification using set constraintsPublished by Springer Nature ,1992
- Automata on Infinite ObjectsPublished by Elsevier ,1990
- A finite presentation theorem for approximating logic programsPublished by Association for Computing Machinery (ACM) ,1990
- Flow analysis and optimization of LISP-like structuresPublished by Association for Computing Machinery (ACM) ,1979