Affordable Access

On the termination of the Knuth-Bendix completion algorithm

Authors
Publication Date
Source
OpenGrey Repository
Keywords
  • 090 - Electronics And Electrical Engineering, Computer Science, General
External links

Abstract

Germany

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments