BibTeX record conf/iccs/DapoignyB13

• > Home > conf/iccs/DapoignyB13

@inproceedings{DBLP:conf/iccs/DapoignyB13,
  author       = {Richard Dapoigny and
                  Patrick Barlatier},
  editor       = {Heather D. Pfeiffer and
                  Dmitry I. Ignatov and
                  Jonas Poelmans and
                  Nagarjuna Gadiraju},
  title        = {Modeling Ontological Structures with Type Classes in Coq},
  booktitle    = {Conceptual Structures for {STEM} Research and Education, 20th International
                  Conference on Conceptual Structures, {ICCS} 2013, Mumbai, India, January
                  10-12, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7735},
  pages        = {135--152},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35786-2\_11},
  doi          = {10.1007/978-3-642-35786-2\_11},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/iccs/DapoignyB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}