%0 Conference Paper %1 conf/mkm/MullerGKKR17 %A Müller, Dennis %A Gauthier, Thibault %A Kaliszyk, Cezary %A Kohlhase, Michael %A Rabe, Florian %B CICM %D 2017 %E Geuvers, Herman %E England, Matthew %E Hasan, Osman %E Rabe, Florian %E Teschke, Olaf %I Springer %K %P 83-98 %T Classification of Alignments Between Concepts of Formal Mathematical Systems. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2017.html#MullerGKKR17 %V 10383 %@ 978-3-319-62075-6

@inproceedings{conf/mkm/MullerGKKR17, added-at = {2023-12-12T22:09:24.000+0100}, author = {Müller, Dennis and Gauthier, Thibault and Kaliszyk, Cezary and Kohlhase, Michael and Rabe, Florian}, biburl = {https://www.bibsonomy.org/bibtex/29f582d1b46d0b2537e321b8fdbd339cb/admin}, booktitle = {CICM}, crossref = {conf/mkm/2017}, editor = {Geuvers, Herman and England, Matthew and Hasan, Osman and Rabe, Florian and Teschke, Olaf}, ee = {https://www.wikidata.org/entity/Q57389271}, interhash = {479b4f10a54ece303d8f00253df3e475}, intrahash = {9f582d1b46d0b2537e321b8fdbd339cb}, isbn = {978-3-319-62075-6}, keywords = {}, pages = {83-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:09:24.000+0100}, title = {Classification of Alignments Between Concepts of Formal Mathematical Systems.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2017.html#MullerGKKR17}, volume = 10383, year = 2017 }