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]
@incollection{DapoignyB14-0,
title = {Formalizing Context for Domain Ontologies in Coq},
author = {Richard Dapoigny and Patrick Barlatier},
year = {2014},
doi = {10.1007/978-1-4939-1887-4_27},
url = {http://dx.doi.org/10.1007/978-1-4939-1887-4_27},
researchr = {https://researchr.org/publication/DapoignyB14-0},
cites = {0},
citedby = {0},
pages = {437-454},
booktitle = {Context in Computing - A Cross-Disciplinary Approach for Modeling the Real World},
editor = {Patrick Brézillon and Avelino J. Gonzalez},
publisher = {Springer},
isbn = {978-1-4939-1886-7},
}