%0 Conference Paper %1 conf/iccs/DapoignyB13 %A Dapoigny, Richard %A Barlatier, Patrick %B ICCS %D 2013 %E Pfeiffer, Heather D. %E Ignatov, Dmitry I. %E Poelmans, Jonas %E Gadiraju, Nagarjuna %I Springer %K dblp %P 135-152 %T Modeling Ontological Structures with Type Classes in Coq. %U http://dblp.uni-trier.de/db/conf/iccs/iccs2013.html#DapoignyB13 %V 7735 %@ 978-3-642-35786-2

@inproceedings{conf/iccs/DapoignyB13, added-at = {2017-05-26T00:00:00.000+0200}, author = {Dapoigny, Richard and Barlatier, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/22a6b8444202c4eb6ec79466e8689034d/dblp}, booktitle = {ICCS}, crossref = {conf/iccs/2013}, editor = {Pfeiffer, Heather D. and Ignatov, Dmitry I. and Poelmans, Jonas and Gadiraju, Nagarjuna}, ee = {https://doi.org/10.1007/978-3-642-35786-2_11}, interhash = {a98db14812d0a66be612d9eeac166450}, intrahash = {2a6b8444202c4eb6ec79466e8689034d}, isbn = {978-3-642-35786-2}, keywords = {dblp}, pages = {135-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:50:07.000+0200}, title = {Modeling Ontological Structures with Type Classes in Coq.}, url = {http://dblp.uni-trier.de/db/conf/iccs/iccs2013.html#DapoignyB13}, volume = 7735, year = 2013 }