%0 Conference Paper %1 DBLP:conf/iccs/Dau06 %A Dau, Frithjof %B Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006) %D 2006 %E Schärfe, Henrik %E Hitzler, Pascal %E Øhrstrøm, Peter %I Springer %K 2006 alpha calculus graphs iccs peirce %P 172-188 %T Some Notes on Proofs with Alpha Graphs. %V 4068 %@ 3-540-35893-5

@inproceedings{DBLP:conf/iccs/Dau06, added-at = {2007-08-02T08:19:51.000+0200}, author = {Dau, Frithjof}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2ff1291bc28e2f8bb9ec9115deece88b7/iccs}, booktitle = {Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006)}, crossref = {DBLP:conf/iccs/2006}, editor = {Sch{\"a}rfe, Henrik and Hitzler, Pascal and {\O}hrstr{\o}m, Peter}, ee = {http://dx.doi.org/10.1007/11787181_13}, interhash = {906afdf9bb1739eb5b53fb4fc7c09ab5}, intrahash = {ff1291bc28e2f8bb9ec9115deece88b7}, isbn = {3-540-35893-5}, keywords = {2006 alpha calculus graphs iccs peirce}, pages = {172-188}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2007-08-02T08:45:41.000+0200}, title = {Some Notes on Proofs with Alpha Graphs.}, volume = 4068, year = 2006 }