Solving classes of set constraints with tree automata
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Solving systems of set constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Solving systems of set constraints with negated subset relationshipsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Set constraints with projections are in NEXPTIMEPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Inclusion constraints over non-empty sets of treesPublished by Springer Nature ,1997
- Set-based analysis of ML programsACM SIGPLAN Lisp Pointers, 1994
- Implementing regular tree expressionsPublished by Springer Nature ,1991