ON CANONICAL FORMS AND SIMPLIFICATION.

Abstract

The purpose of the dissertation was to study the representations of formula expressions in a way that would give meaning to the so-called simplification problem.

Document Details

• Document Type: Technical Report
• Publication Date: May 20, 1968
• Accession Number: AD0671938

Entities

People

• Bobby Forrester Caviness

Organizations

• Carnegie Mellon University