On the construction of free algebras for equational systems (2009)
by
Marcelo Fiore
,
Chung-Kil Hur
| Venue: | IN: SPECIAL ISSUE FOR AUTOMATA, LANGUAGES AND PROGRAMMING (ICALP 2007). VOLUME 410 OF THEORETICAL COMPUTER SCIENCE |
| Citations: | 5 - 4 self |
Document Versions
| On the construction of free algebras for equational systems –Marcelo Fiore, Chung-Kil Hur — 2009 — IN: SPECIAL ISSUE FOR AUTOMATA, LANGUAGES AND PROGRAMMING (ICALP 2007). VOLUME 410 OF THEORETICAL COMPUTER SCIENCE |
