˜Aœ timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits

Abstract: "Up until now classical logic has been the logic of choice in formal hardware verification. This report advances the application of intuitionistic logic to the timing analysis of digital circuits. The intuitionistic setting serves two purposes at the same time. The model-theoretic pro...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Mendler, Michael V. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Passau 1995
Schriftenreihe:	Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1995,18
Schlagworte:	Digital electronics > Discrete-time systems > Intuitionistic mathematics > Proof theory > Theoretische Informatik > Informatik > Mathematik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!