Knuth-Bendix completions of process algebra axiomatizations / G.J. Akkerman
mainEntity
Knuth-Bendix completions of process algebra axiomatizations / G.J. Akkerman
about
author
inLanguage
mainEntityOfPage
name
Knuth-Bendix completions of process algebra axiomatizations
numberOfPages
publication
sameAs
label
Knuth-Bendix completions of process algebra axiomatizations / G.J. Akkerman