Research

Technical Report Results

Technical Report TR416:
A Logical Formalization of Hardware Design Diagrams

Kathi Fisler
(Sep 1994), 28 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: