351 search results - page 8 / 71 » Nominal Equational Logic |
CADE
1994
Springer
15 years 3 months ago
1994
Springer
EUSFLAT
2009
14 years 9 months ago
2009
EUSFLAT
2009
14 years 9 months ago
2009
FAC
2008
14 years 11 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
15 years 8 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...