133
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We prove several results about the average-case complexity of problems in the Polynomial Hierarchy (PH). We give a connection among average-case, worst-case, and non-unif...
111
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
Structured Operational Semantics (SOS) is a popular method for defining semantics by means of deduction rules. An important feature of deduction rules, or simply SOS rules, are neg...
117
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
113
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and
108
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
Given a set P of n points on the real line and a (potentially innite) family of functions, we investigate the problem of nding a small (weighted) subset S P, such that for any f ...