1269 search results - page 144 / 254 » Pi-Calculus in Logical Form |
110
click to vote
SYNTHESE
2008
15 years 5 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
150
click to vote
ICCAD
2009
IEEE
15 years 3 months ago
2009
IEEE
Current logic synthesis techniques are ineffective for arithmetic circuits. They perform poorly for XOR-dominated circuits, and those with a high fan-in dependency between inputs ...
141
click to vote
JAIR
2011
15 years 11 days ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
173
click to vote
DAC
2006
ACM
15 years 7 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
147
click to vote
SYNTHESE
2008
15 years 5 months ago
2008
This article goes to the foundations of Statistical Inference through a review of Carnap's logic theory of induction. From this point of view, it brings another solution to t...