Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleA Categorical Critical-pair Completion Algorithm
Author(s) K. Stokkermans
TypeArticle in Journal
Length43
ISSN0747-7171
LanguageEnglish
Journal Journal of Symbolic Computation
Volume27
Number5
Pages435--477
Year1999
Translation No
Refereed Yes
Webmaster