922 search results - page 14 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
LOPSTR
2004
Springer
14 years 23 days ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this paper, we present a comparison theorem for the solutions of two generalized algebraic Riccati equations (GAREs) coming from two different systems. We show that the so-c...
RTA
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
JSYML
2010
13 years 2 months ago
2010
We generalize the model theory of small profinite structures developed by Newelski to the case of compact metric spaces considered together with compact groups of homeomorphisms a...