Frithjof Dau. Concept Graphs and Predicate Logic. In Harry S. Delugach, Gerd Stumme, editors, Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings. Volume 2120 of Lecture Notes in Computer Science, pages 72-86, Springer, 2001. [doi]
@inproceedings{Dau01, title = {Concept Graphs and Predicate Logic}, author = {Frithjof Dau}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2120/21200072.htm}, tags = {graph-rewriting, logic, rewriting logic, rewriting}, researchr = {https://researchr.org/publication/Dau01}, cites = {0}, citedby = {0}, pages = {72-86}, booktitle = {Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings}, editor = {Harry S. Delugach and Gerd Stumme}, volume = {2120}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42344-3}, }