371 search results - page 12 / 75 » Partition Theorems and Computability Theory |
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
159
click to vote
Book
"This is a book about using electronic techniques to record, synthesize, process,
and analyze musical sounds, a practice which came into its modern form in the
years 1948-19...
100
click to vote
EUROPAR
2006
Springer
15 years 1 months ago
2006
Springer
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
GD
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we study the k-tree partition problem which is a partition of the set of edges of a graph into k edge-disjoint trees. This problem occurs at several places with appl...