The Kleene equality for graphs (2006)

by A Carayol, D Caucal
Venue:Proceedings of the 31th International Symposium on Mathematical Foundations of Computer Science (MFCS 2006), Bratislave (Slovakia), number 4162 in Lecture Notes in Computer Science