Frithjof Dau. Some Notes on Proofs with Alpha Graphs. In Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm, editors, Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings. Volume 4068 of Lecture Notes in Computer Science, pages 172-188, Springer, 2006. [doi]
@inproceedings{Dau06:0, title = {Some Notes on Proofs with Alpha Graphs}, author = {Frithjof Dau}, year = {2006}, doi = {10.1007/11787181_13}, url = {http://dx.doi.org/10.1007/11787181_13}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Dau06%3A0}, cites = {0}, citedby = {0}, pages = {172-188}, booktitle = {Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings}, editor = {Henrik Schärfe and Pascal Hitzler and Peter Øhrstrøm}, volume = {4068}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-35893-5}, }