language: en

Toward the Rigorous Use of Diagrams in Reasoning about Hardware

Steven D. Johnson
sjohnson@indiana.edu
Department of Computer Science Indiana University
Jon Barwise
barwise@indiana.edu
Departments of Philosophy, Mathematics, and Computer Science Indiana University
Gerard T. Allwein
Visual Inference Laboratory Indiana University Indiana University Logic Group
Preprint No. IULG-93-23 May 1993