3145 search results - page 1 / 629 » Algebraic Linear Orderings |
LFCS
2009
Springer
13 years 12 months ago
2009
Springer
In this paper we consider languages of labelled N-free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only ...
AML
2006
13 years 5 months ago
2006
Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable;...
ADBIS
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
IPPS
2008
IEEE
13 years 11 months ago
2008
IEEE
—The performance bottleneck for many scientific applications is the cost of memory access inside linear algebra kernels. Tuning such kernels for memory efficiency is a complex ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer