351 search results - page 8 / 71 » Nominal Equational Logic |
103
click to vote
FAC
2008
15 years 4 months ago
2008
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
132
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
In this paper we describe a stochastic integral equation method for computing the mean value and the variance of capacitance of interconnects with random surface roughness. An ens...