7 search results - page 1 / 2» A Correspondence between Balanced Varieties and Inverse Mono... |

IJAC

2006

13 years 8 months ago
2006

There is a well-known correspondence between varieties of algebras and fully invariant congruences on the appropriate term algebra. A special class of varieties are those which ar...

TCS

2008

13 years 7 months ago
2008

Eilenberg's variety theorem gives a bijective correspondence between varieties of languages and varieties of finite monoids. The second author gave a similar relation between...

ESA

2010

Springer

13 years 9 months ago
2010

Springer

Abstract. In a seminal STOC'95 paper, Arya et al. [4] devised a construction that for any set S of n points in Rd and any > 0, provides a (1 + )-spanner with diameter O(lo...

FUIN

2007

13 years 8 months ago
2007

Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...

DLT

2010

13 years 9 months ago
2010

It is known that the languages definable by formulae of the logics FO2[<,S], 2[<,S], LTL[F,P,X,Y] are exactly the variety DAD. Automata for this class are not known, nor is i...