Finitary construction of free algebras for equational systems (2008)

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