Finitary construction of free algebras for equational systems (2008)

by Marcelo Fiore , Chung-kil Hur
Citations:1 - 0 self

Document Versions

Finitary construction of free algebras for equational systems –Marcelo Fiore, Chung-kil Hur — 2008
Finitary construction of free algebras for equational systems –Marcelo Fiore, Chung-kil Hur — 2008