Searching for "Logic, Logics, and Logicism." – sorted by Relevance.
50 documents found, showing 1 through 10.
Next 10 →
-
Logic, Logics, and Logicism
- …Logic, Logics, and Logicism Solomon Feferman In memory of George Boolos Abstract The paper starts…
- Cited by 1 (0 self) – Add To MetaCart
-
An Operational Logic of Effects
- …An Operational Logic of Effects Jacob Frost Department of Computer Science Technical University…
- Cited by 4 (1 self) – Add To MetaCart
-
Logic Gates as Repeaters (LGR) for Area-Efficient Timing Optimization
- …Logic Gates as Repeaters (LGR) for Area-Efficient Timing Optimization Michael Moreinis, Arkadiy…
- Cited by 2 (2 self) – Add To MetaCart
-
with Radiation Hardened Digital Control
- … a radiation-hardness-by-design technique based on a logic duplication approach at both the logic…
- Add To MetaCart
-
Replacing global wires with an on-chip network: A power analysis
- … logic gates [13]. Long global wires also cause many design problems including routing congestion, noise…
- Cited by 10 (1 self) – Add To MetaCart
-
Specifying strategies for exercises
- … solving problems in mathematics, logic, physics, etc. is limited, or laborious to specify. In this paper…
- Cited by 4 (3 self) – Add To MetaCart
-
The NetherlandsOptimizing Generics Is Easy!
- … in regular, we give the instance of Regular for a datatype representing logic expressions: data Logic = Logic…
- Add To MetaCart
-
Strategy feedback in an e-learning tool for mathematical exercises
- … of strategies are: – reducing a logical expression to disjunctive normal form by first pushing ¬’s over ∨’s…
- Cited by 1 (1 self) – Add To MetaCart
-
Structural Analysis and Generation of Synthetic Digital Circuits with Memory
- … and sequential logic circuits. Many of today's devices, however, are being used to implement entire systems…
- Cited by 2 (0 self) – Add To MetaCart
-
Dynamic Data Dependence Tracking and its Application to Branch Prediction
- … registers requires 730 bytes of RAM with eight read and four write ports and modest control logic for data…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
