%0 Conference Paper %1 conf/mkm/CommelinU15 %A Commelin, Johan %A Urban, Josef %B CICM (Work in Progress) %D 2015 %E Kerber, Manfred %E Carette, Jacques %E Kaliszyk, Cezary %E Rabe, Florian %E Sorge, Volker %K dblp %P 19-24 %T Auto-hyperlinking the Stacks Project. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2015wip.html#CommelinU15

@inproceedings{conf/mkm/CommelinU15, added-at = {2021-11-25T00:00:00.000+0100}, author = {Commelin, Johan and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/29e6b069beb8272e9a598131607dfd3ec/dblp}, booktitle = {CICM (Work in Progress)}, crossref = {conf/mkm/2015wip}, editor = {Kerber, Manfred and Carette, Jacques and Kaliszyk, Cezary and Rabe, Florian and Sorge, Volker}, ee = {https://cicm-conference.org/2015/CICM2015-wip.pdf#page=19}, interhash = {4910ae375d532f8ee97b654f0e4897fb}, intrahash = {9e6b069beb8272e9a598131607dfd3ec}, keywords = {dblp}, pages = {19-24}, timestamp = {2024-04-10T02:44:34.000+0200}, title = {Auto-hyperlinking the Stacks Project.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2015wip.html#CommelinU15}, year = 2015 }