351 search results - page 8 / 71 » Nominal Equational Logic |
CADE
1994
Springer
13 years 11 months ago
1994
Springer
EUSFLAT
2009
13 years 5 months ago
2009
EUSFLAT
2009
13 years 5 months ago
2009
FAC
2008
13 years 7 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...
ICCAD
2004
IEEE
14 years 4 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...