478 search results - page 20 / 96 » Monads of Regular Theories |
79
Voted
LATA
2009
Springer
15 years 7 months ago
2009
Springer
104
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
CORR
2010
Springer
15 years 16 days ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
120
Voted
CSL
2007
Springer
15 years 4 months ago
2007
Springer
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...
134
Voted
ACS
2008
15 years 17 days ago
2008
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...