Sciweavers

Is Observational Congruence Axiomatisable in Equational Horn Logic?
Recent Google, Yahoo, MSN search queries leading to this post
Is Observational Congruence Axiomatisable in Equational Horn Logic?
Data is not available yet.