922 search results - page 149 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
114
click to vote
BICOB
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we investigate the structure and representation of n-ary algebras arising from DNA recombination, where n is a number of DNA segments participating in recombination. ...
117
Voted
TYPES
1999
Springer
15 years 6 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
104
click to vote
WADT
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
114
click to vote
TACAS
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
107
click to vote
COMPGEOM
1993
ACM
15 years 6 months ago
1993
ACM
We consider graphs such as the minimum spanning tree, minimum Steiner tree, minimum matching, and traveling salesman tour for n points in the d-dimensional unit cube. For each of ...