A decision procedure for a class of set constraints
- 4 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Flow analysis and optimization of LISP-like structuresPublished by Association for Computing Machinery (ACM) ,1979
- Tree acceptors and some of their applicationsJournal of Computer and System Sciences, 1970
- Decidability of Second-Order Theories and Automata on Infinite TreesTransactions of the American Mathematical Society, 1969
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968
- Parenthesis GrammarsJournal of the ACM, 1967