Sciweavers

TLCA
2009
Springer

Mathematical Synthesis of Equational Deduction Systems

13 years 10 months ago
Mathematical Synthesis of Equational Deduction Systems
Marcelo P. Fiore, Chung-Kil Hur
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where TLCA
Authors Marcelo P. Fiore, Chung-Kil Hur
Comments (0)