Sciweavers

Is Observational Congruence Axiomatisable in Equational Horn Logic?
Recent countries visiting this post
Is Observational Congruence Axiomatisable in Equational Horn Logic?
us5United States