Equational Systems and Free Constructions (Extended Abstract)

Marcelo P. Fiore, Chung-Kil Hur. Equational Systems and Free Constructions (Extended Abstract). In Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki, editors, Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings. Volume 4596 of Lecture Notes in Computer Science, pages 607-618, Springer, 2007. [doi]

Authors

Marcelo P. Fiore

This author has not been identified. Look up 'Marcelo P. Fiore' in Google

Chung-Kil Hur

This author has not been identified. Look up 'Chung-Kil Hur' in Google