233 search results - page 4 / 47 » An Existential Locality Theorem |
CP
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. For efficiency reasons, neighbourhoods in local search are often shrunk by only considering moves modifying variables that actually contribute to the overall penalty. The...
ITP
2010
14 years 17 days ago
2010
We present a formalisation of separation logic which, by avoiding the use of existential quantifiers, allows proofs that only use standard equational rewriting methods as found in...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
ENTCS
2008
13 years 8 months ago
2008
: By the Riesz Representation Theorem for locally compact Hausdorff spaces, for every positive linear functional I on K(X) there is a measure
APAL
2010
13 years 8 months ago
2010
In [1] it was developed o-minimal homotopy for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we also extend these res...