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.]
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
