Sciweavers

650 search results - page 1 / 130
» On Coalgebras over Algebras
Sort
View
101
Voted
LFCS
2009
Springer
15 years 5 months ago
A Bialgebraic Approach to Automata and Formal Language Theory
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are compatible. Bialgebras are usually studied over a ...
James Worthington
104
Voted
ENTCS
2002
121views more  ENTCS 2002»
15 years 7 days ago
Modal Predicates and Co-equations
We show how coalgebras can be presented by operations and equations. This is a special case of Linton's approach to algebras over a general base category X, namely where X is...
Alexander Kurz, Jirí Rosický
58
Voted
ENTCS
2010
88views more  ENTCS 2010»
15 years 15 days ago
On Coalgebras over Algebras
Adriana Balan, Alexander Kurz
103
Voted
ENTCS
2006
161views more  ENTCS 2006»
15 years 13 days ago
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
Jan J. M. M. Rutten
97
Voted
FCT
2001
Springer
15 years 5 months ago
Universal Algebra and Computer Science
Abstract. Generalising modules over associative rings, the notion of modules for an endofunctor of any category is well established and useful in large parts of mathematics includi...
Boris I. Plotkin, Tanya Plotkin