1670 search results - page 129 / 334 » On Skolemization in constructive theories |
167
click to vote
JGT
2010
15 years 4 months ago
2010
: Jacobson, Levin, and Scheinerman introduced the fractional Ramsey function rf (a1,a2, ...,ak) as an extension of the classical definition for Ramsey numbers. They determined an e...
172
click to vote
MCS
2010
Springer
15 years 4 months ago
2010
Springer
Many different constructions for (t, m, s)-nets and (t, s)-sequences are known today. Propagation rules as well as connections to other mathematical objects make it difficult to ...
242
click to vote
AAMAS
2011
Springer
15 years 29 days ago
2011
Springer
We study the case where agents have preferences over ranges (intervals) of values, and we wish to elicit and aggregate these preferences. For example, consider a set of climatologi...
178
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
151
click to vote
SAC
2006
ACM
16 years 12 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...