Searching for "Solving Classes of Set Constraints with Tree Automata." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Solving Classes of Set Constraints with Tree Automata
by P. Devienne, Jm. Talbot, S. Tison — 1997 — Proceedings of the Third International Conference on Principles and Practice of Constraint Programming - CP97, volume 1330 of LNCS
…Solving Classes of Set Constraints with Tree Automata P. Devienne, JM. Talbot and S. Tison…
Cited by 20 (2 self) – Add To MetaCart

Solving Set Constraints for Greatest Models
by Witold Charatonik, Andreas Podelski — 1997
…, Jean-Marc Talbot and Sophie Tison. Solving Classes of Set Constraints with Tree Automata, University…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB