%0 Conference Paper %1 conf/iccs/Dau04 %A Dau, Frithjof %B ICCS %D 2004 %E Wolff, Karl Erich %E Pfeiffer, Heather D. %E Delugach, Harry S. %I Springer %K dblp %P 62-93 %T Types and Tokens for Logic with Diagrams. %U http://dblp.uni-trier.de/db/conf/iccs/iccs2004.html#Dau04 %V 3127 %@ 3-540-22392-4

@inproceedings{conf/iccs/Dau04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Dau, Frithjof}, biburl = {https://www.bibsonomy.org/bibtex/21fc7913d81a606da9dd15509050bd93d/dblp}, booktitle = {ICCS}, crossref = {conf/iccs/2004}, editor = {Wolff, Karl Erich and Pfeiffer, Heather D. and Delugach, Harry S.}, ee = {https://doi.org/10.1007/978-3-540-27769-9_5}, interhash = {2524d294ffdee6d8580012db01e243ad}, intrahash = {1fc7913d81a606da9dd15509050bd93d}, isbn = {3-540-22392-4}, keywords = {dblp}, pages = {62-93}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:50:24.000+0200}, title = {Types and Tokens for Logic with Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/iccs/iccs2004.html#Dau04}, volume = 3127, year = 2004 }