Login / Signup

A Categorical Critical-pair Completion Algorithm.

Karel Stokkermans
Published in: J. Symb. Comput. (1999)
Keyphrases