Constructive Boolean circuits and the exactness of timed ternary simulation (Q453539): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-012-0144-6
@@ Property / DOI: 10.1007/s10703-012-0144-6 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-012-0144-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1978909743
@@ Property / OpenAlex ID: W1978909743 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Three-Valued Logic Simulation
@@ Property / cites work: A Note on Three-Valued Logic Simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4450438
@@ Property / cites work: Q4450438 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Ternary Model of Gate Networks
@@ Property / cites work: On a Ternary Model of Gate Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Hazard Detection in Combinational and Sequential Switching Circuits
+Normal rank
@@ Property / cites work @@
+Propositional lax logic
@@ Property / cites work: Propositional lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4199490
@@ Property / cites work: Q4199490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4319803
@@ Property / cites work: Q4319803 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845010
@@ Property / cites work: Q4845010 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of cyclic combinational circuits
@@ Property / cites work: Analysis of cyclic combinational circuits / rank @@
+Normal rank
@@ Property / cites work @@
+General theory of metastable operation
@@ Property / cites work: General theory of metastable operation / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising combinational timing analyses in intuitionistic modal logic
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Boolean circuits and the exactness of timed ternary simulation
+Normal rank
@@ Property / cites work @@
+Q4818807
@@ Property / cites work: Q4818807 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Hazards, critical races, and metastability
@@ Property / cites work: Hazards, critical races, and metastability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4141110
@@ Property / cites work: Q4141110 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of Ternary Algebra to the Study of Static Hazards
+Normal rank
@@ Property / DOI @@
+.1007/S10703-012-0144-6
@@ Property / DOI: 10.1007/S10703-012-0144-6 / rank @@
+Normal rank