Sciweavers

650 search results - page 1 / 130
» On Coalgebras over Algebras
Sort
View
LFCS
2009
Springer
13 years 10 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»
13 years 5 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ý
ENTCS
2010
88views more  ENTCS 2010»
13 years 5 months ago
On Coalgebras over Algebras
Adriana Balan, Alexander Kurz
ENTCS
2006
161views more  ENTCS 2006»
13 years 5 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
13 years 10 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