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