A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits (Q4645242)
From MaRDI portal
scientific article; zbMATH DE number 6999525
Language | Label | Description | Also known as |
---|---|---|---|
English | A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits |
scientific article; zbMATH DE number 6999525 |
Statements
A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits (English)
0 references
10 January 2019
0 references