%0 Conference Paper %1 conf/category/Mahr88 %A Mahr, Bernd %B Categorial Methods in Computer Science %D 1988 %E Ehrig, Hartmut %E Herrlich, Horst %E Kreowski, Hans-Jörg %E Preuß, Gerhard %I Springer %K dblp %P 50-65 %T Empty Carriers: The Categorical Burden on Logic. %U http://dblp.uni-trier.de/db/conf/category/category1988.html#Mahr88 %V 393 %@ 3-540-51722-7

@inproceedings{conf/category/Mahr88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Mahr, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2d53988354e641427639438803070c31b/dblp}, booktitle = {Categorial Methods in Computer Science}, crossref = {conf/category/1988}, editor = {Ehrig, Hartmut and Herrlich, Horst and Kreowski, Hans-Jörg and Preuß, Gerhard}, ee = {https://doi.org/10.1007/3-540-51722-7_4}, interhash = {77548117f9b72aca1b60b12f2bf32332}, intrahash = {d53988354e641427639438803070c31b}, isbn = {3-540-51722-7}, keywords = {dblp}, pages = {50-65}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:12:15.000+0200}, title = {Empty Carriers: The Categorical Burden on Logic.}, url = {http://dblp.uni-trier.de/db/conf/category/category1988.html#Mahr88}, volume = 393, year = 1988 }