18155 search results - page 379 / 3631 » Point |
177
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we study the problem of computing the multiparty equality (MEQ) function: n 2 nodes, each of which is given an input value from {1,
JDI
2011
15 years 1 months ago
2011
181
click to vote
TCS
2011
15 years 1 months ago
2011
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suit...