Pages that link to "Item:Q3525638"
From MaRDI portal
The following pages link to Is Observational Congruence Axiomatisable in Equational Horn Logic? (Q3525638):
Displayed 1 item.
- (Q5856402) (← links)
The following pages link to Is Observational Congruence Axiomatisable in Equational Horn Logic? (Q3525638):
Displayed 1 item.