Sciweavers

3145 search results - page 139 / 629
» Algebraic Linear Orderings
Sort
View
JLP
2006
98views more  JLP 2006»
15 years 4 months ago
Partiality I: Embedding relation algebras
As long as no cooperation between processes is supposed to take place, one may consider them separately and need not ask for the progress of the respective other processes. If a c...
Gunther Schmidt
ORDER
2002
90views more  ORDER 2002»
15 years 4 months ago
Radical Classes of Lattice-Ordered Groups vs. Classes of Compact Spaces
For a given class T of compact Hausdorff spaces, let Y(T ) denote the class of -groups G such that for each g G, the Yosida space Y (g) of g belongs to T . Conversely, if R is a c...
Michael R. Darnel, Jorge Martinez
SIAMCOMP
2010
100views more  SIAMCOMP 2010»
15 years 2 months ago
Algorithmic Enumeration of Ideal Classes for Quaternion Orders
We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the ...
Markus Kirschmer, John Voight
CORR
2006
Springer
120views Education» more  CORR 2006»
15 years 4 months ago
Termination orders for 3-dimensional rewriting
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
Yves Guiraud
ECCC
2010
87views more  ECCC 2010»
15 years 1 months ago
Testing monotonicity of distributions over general partial orders
We investigate the number of samples required for testing the monotonicity of a distribution with respect to an arbitrary underlying partially ordered set. Our first result is a n...
Arnab Bhattacharyya, Eldar Fischer, Ronitt Rubinfe...