Sciweavers

108
Voted
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
15 years 10 days ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun