434 search results - page 1 / 87 » Monadic Bounded Algebras |
SLOGICA
2010
13 years 14 days ago
2010
LFCS
2009
Springer
14 years 8 days 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 ...
CALCO
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monad...
TCS
2010
13 years 4 months ago
2010
We study non-uniform constraint satisfaction problems definable in monadic Datalog stratified by the use of non-linearity. We show how such problems can be described in terms of...
IANDC
2010
13 years 3 months ago
2010
Iterative monads of Calvin Elgot were introduced to treat the semantics of recursive equations purely algebraically. They are Lawvere theories with the property that all ideal sys...