Login / Signup

A Categorical Formulation for Critical-Pair/Completion Procedures.

Karel Stokkermans
Published in: CTRS (1992)
Keyphrases