%0 Conference Paper %1 conf/rta/BarKV16 %A Bar, Krzysztof %A Kissinger, Aleks %A Vicary, Jamie %B FSCD %D 2016 %E Kesner, Delia %E Pientka, Brigitte %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 34:1-34:11 %T Globular: An Online Proof Assistant for Higher-Dimensional Rewriting. %U http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#BarKV16 %V 52 %@ 978-3-95977-010-1

@inproceedings{conf/rta/BarKV16, added-at = {2019-10-19T00:00:00.000+0200}, author = {Bar, Krzysztof and Kissinger, Aleks and Vicary, Jamie}, biburl = {https://www.bibsonomy.org/bibtex/23d003a7c5c1c224a140c91e83fe6b4ca/dblp}, booktitle = {FSCD}, crossref = {conf/rta/2016}, editor = {Kesner, Delia and Pientka, Brigitte}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2016.34}, interhash = {d99297db4008a217b1530f7b273ef31b}, intrahash = {3d003a7c5c1c224a140c91e83fe6b4ca}, isbn = {978-3-95977-010-1}, keywords = {dblp}, pages = {34:1-34:11}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:50:09.000+0100}, title = {Globular: An Online Proof Assistant for Higher-Dimensional Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#BarKV16}, volume = 52, year = 2016 }