ON THE MATHEMATICAL SYNTHESIS OF EQUATIONAL LOGICS

by Marcelo Fiore , Chung-kil Hur

Document Versions

ON THE MATHEMATICAL SYNTHESIS OF EQUATIONAL LOGICS –Marcelo Fiore, Chung-kil Hur
ON THE MATHEMATICAL SYNTHESIS OF EQUATIONAL LOGICS ∗ –Marcelo Fiore, Chung-kil Hur — 2010