Sciweavers

650 search results - page 1 / 130
» On Coalgebras over Algebras
Sort
View
LFCS
2009
Springer
15 years 2 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
ENTCS
2002
121views more  ENTCS 2002»
14 years 10 months 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ý
53
Voted
ENTCS
2010
88views more  ENTCS 2010»
14 years 10 months ago
On Coalgebras over Algebras
Adriana Balan, Alexander Kurz
ENTCS
2006
161views more  ENTCS 2006»
14 years 10 months 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
FCT
2001
Springer
15 years 2 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