Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}