Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Khalil Djelloul, Thi-Bich-Hanh Dao. Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 7-14, ACM, 2006. [doi]

This author has not been identified. Look up 'Khalil Djelloul' in GoogleThis author has not been identified. Look up 'Thi-Bich-Hanh Dao' in Google

runs on WebDSL