478 search results - page 20 / 96 » Monads of Regular Theories |
71
Voted
LATA
2009
Springer
15 years 5 months ago
2009
Springer
LICS
2006
IEEE
15 years 5 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...
86
Voted
CORR
2010
Springer
14 years 11 months 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...
107
click to vote
CSL
2007
Springer
15 years 2 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...
115
Voted
ACS
2008
14 years 11 months 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 ...