Axiomatisability in inclusive equational logic (0)

by Grigore Ros¸u
Venue:Mathematical Structures in Computer Science