Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

Technical Report TR416:
A Logical Formalization of Hardware Design Diagrams

Kathi Fisler
(Sep 1994), 28 pages pages
[To appear in Diagramamtic Reasoning, edited by Gerard Allwein and Jon Barwise.]
The abstact is not available. Please see the full paper.

Available as: