A Catalogue of Canonical Term Rewriting Systems.

Abstract

It is attempted in this paper to put together some experimental results obtained by Knuth and Bendix, Lankford and Ballantyne, Peterson and Stickel, as well as to present some new results. It does not give a theoretical study of the methods used. Thus the reader is assumed to be familiar with the original Knuth and Bendix algorithm and its extensions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1980
Accession Number
ADA087641

Entities

People

  • Jean-marie Hullot

Organizations

  • SRI International

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Algebra
  • Algorithms
  • Catalogs
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Equations
  • Formal Languages
  • Identities
  • Language
  • Lisp Programming Language
  • Mathematics
  • Programming Languages
  • Recursive Functions

Readers

  • Artificial Intelligence
  • Computational Linguistics
  • Systems Analysis and Design