Sciweavers

JUCS
2008
139views more  JUCS 2008»
13 years 11 months ago
Constructive Notions of Maximality for Ideals
: Working constructively, we discuss two types of maximality for ideals in a commutative ring with identity, showing also that the results are the best possible. Key Words: constru...
Douglas S. Bridges, Robin Havea
LFCS
2009
Springer
14 years 4 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