264 search results - page 9 / 53 » Decomposing Algebraic Varieties |
FSS
2008
13 years 8 months ago
2008
In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Toric codes are obtained by evaluating rational functions of a nonsingular toric variety at the algebraic torus. One can extend toric codes to the so called generalized toric code...
CASC
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these system into so-called simple subsystems and there...
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
FCT
2003
Springer
14 years 1 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...