![]() | ![]() |
2009 | ||
---|---|---|
3 | EE | Marcelo P. Fiore, Chung-Kil Hur: On the construction of free algebras for equational systems. Theor. Comput. Sci. 410(18): 1704-1729 (2009) |
2008 | ||
2 | EE | Marcelo P. Fiore, Chung-Kil Hur: Term Equational Systems and Logics: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 218: 171-192 (2008) |
2007 | ||
1 | EE | Marcelo P. Fiore, Chung-Kil Hur: Equational Systems and Free Constructions (Extended Abstract). ICALP 2007: 607-618 |
1 | Marcelo P. Fiore | [1] [2] [3] |