922 search results - page 34 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
122
click to vote
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...
113
click to vote
TIME
2008
IEEE
15 years 8 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
TARK
2007
Springer
15 years 8 months ago
2007
Springer
This paper generalizes the notion of common p-beliefs to situations of ambiguity or Knightian uncertainty. When players have multiple prior beliefs,we show that Aumann’s no-agre...
111
click to vote
EPIA
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
108
click to vote
IPL
2000
15 years 1 months ago
2000
We show that stratified context unification, which is one of the most expressive fragments of context unification known to be decidable, is equivalent to the satisfiability proble...