Formalizing Context for Domain Ontologies in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Richard Dapoigny, Patrick Barlatier. Formalizing Context for Domain Ontologies in Coq. In Patrick Brézillon, Avelino J. Gonzalez, editors, Context in Computing - A Cross-Disciplinary Approach for Modeling the Real World. pages 437-454, Springer, 2014. [doi]

This author has not been identified. Look up 'Richard Dapoigny' in GoogleThis author has not been identified. Look up 'Patrick Barlatier' in Google

runs on WebDSL