18429 search results - page 324 / 3686 » Typing dynamic typing |
184
click to vote
CPM
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...
147
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent pro...