Skip to content

The Complete Axiomatization of Cs-congruence.

Joachim Parrow, Peter Sjdin

VenueASTACS
Year1994
ProceedingsSTACS

Browse the full STACS paper archive.