%0 Conference Paper %1 DBLP:conf/iccs/DapoignyB13 %A Dapoigny, Richard %A Barlatier, Patrick %B Proceedings of the 21th International Conference on Conceptual Structures (ICCS 2013) %D 2013 %E Pfeiffer, Heather D. %E Ignatov, Dmitry I. %E Poelmans, Jonas %E Gadiraju, Nagarjuna %I Springer %K 2013 coq iccs modelling ontology %P 135-152 %T Modeling Ontological Structures with Type Classes in Coq %V 7735 %@ 978-3-642-35785-5, 978-3-642-35786-2

@inproceedings{DBLP:conf/iccs/DapoignyB13, added-at = {2013-02-26T08:42:00.000+0100}, author = {Dapoigny, Richard and Barlatier, Patrick}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2989b58cc2ae2e8ac552349374a55f9b8/iccs}, booktitle = {Proceedings of the 21th International Conference on Conceptual Structures (ICCS 2013)}, crossref = {DBLP:conf/iccs/2013}, editor = {Pfeiffer, Heather D. and Ignatov, Dmitry I. and Poelmans, Jonas and Gadiraju, Nagarjuna}, ee = {http://dx.doi.org/10.1007/978-3-642-35786-2_11}, interhash = {a98db14812d0a66be612d9eeac166450}, intrahash = {989b58cc2ae2e8ac552349374a55f9b8}, isbn = {978-3-642-35785-5, 978-3-642-35786-2}, keywords = {2013 coq iccs modelling ontology}, pages = {135-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2013-02-26T08:42:02.000+0100}, title = {Modeling Ontological Structures with Type Classes in Coq}, volume = 7735, year = 2013 }