## Mizuhito Ogawa

*Complete Axiomatization of an Algebraic Construction of Graphs*

FLOPS, 2004.

@inproceedings{FLOPS-2004-Ogawa, author = "Mizuhito Ogawa", booktitle = "{Proceedings of the Seventh International Symposium on Functional and Logic Programming}", doi = "10.1007/978-3-540-24754-8_13", isbn = "3-540-21402-X", pages = "163--179", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Complete Axiomatization of an Algebraic Construction of Graphs}", volume = 2998, year = 2004, }