12194 search results - page 32 / 2439 » cans 2010 |
IJAC
2010
13 years 6 months ago
2010
This paper studies the combinatorics of the orbit Hecke algebras associated with W
IANDC
2010
13 years 6 months ago
2010
Covarieties of coalgebras are those classes of coalgebras for an endofunctor H on the category of sets that are closed under coproducts, subcoalgebras and quotients. Equivalently,...
ENTCS
2006
13 years 8 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
APAL
2010
13 years 8 months ago
2010
It is shown that every locally countable upper semi-lattice of cardinality continuum can be embedded into the Turing degrees, assuming Martin's Axiom.
CCCG
2010
13 years 10 months ago
2010
We prove that any finite set of half-planes can be colored by two colors so that every point of the plane, which belongs to at least three half-planes in the set, is covered by ha...