QUANTIFIER ELIMINATION IN A PROBLEM OF LOGICAL DESIGN

Document Details

Document Type: Technical Report
Publication Date: Aug 25, 1957
Accession Number: AD0143834

Entities

People

Calvin C. Elgot
Jesse B. Wright

Organizations

University of Michigan