A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. Electronic Notes in Theoretical Computer Science, 177:235-252, 2007. [doi]

This author has not been identified. Look up 'Sonia Estévez Martín' in GoogleThis author has not been identified. Look up 'Antonio J. Fernández' in GoogleThis author has not been identified. Look up 'Maria Teresa Hortalá-González' in GoogleThis author has not been identified. Look up 'Mario Rodríguez-Artalejo' in GoogleThis author has not been identified. Look up 'Rafael del Vado Vírseda' in Google

runs on WebDSL