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