Diese Seite auf deutsch
SearchTermination of Ground Non-Symmetric Knuth-Bendix Completion
G. Struth
2002-09
in: Universität Augsburg
Technical Report, Institute of Computer Science, University of Augsburg, May 2002
Downloads:
- Termination of Ground Non-Symmetric Knuth-Bendix Completion - (tr-2002-9_str.pdf, 311 KB)