5510 search results - page 196 / 1102 » Mathematics |
143
Voted
PODS
2008
ACM
16 years 4 months ago
2008
ACM
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
131
click to vote
SASO
2009
IEEE
15 years 11 months ago
2009
IEEE
Creolization is a self-organization process of new language community. Thus far, a simulation study of the emergence of creoles has been reported in a mathematical framework. In t...
139
click to vote
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
140
click to vote
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
122
Voted
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
A theory of traces of computations has emerged within the field of coalgebra, via finality in Kleisli categories. In concurrency theory, traces are traditionally obtained from ex...