A note on complex algebras of semigroups (2003)

Cached

Download Links

by Peter Jipsen
Venue:Relational and Kleene-Algebraic Methods in Computer Science: Proc. 7th Int. Sem. Relational Methods in Computer Science and 2nd Int. Workshop Applications of Kleene Algebra
Citations:2 - 1 self

Documents Related by Co-Citation

3 A graphical approach to monad compositions – P Eklund - 2001
1 Functional Pearls: A Poor Man's Concurrency Monad – Koen Claessen - 1999
19 Modular Compilers Based on Monad Transformers – William Harrison, Samuel N. Kamin - 1998
4 The category of Markov kernels – P Panangaden - 1999
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
47 Document Structure – Richard Power, Donia Scott, Nadjet Bouayad-Agha - 2003
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
394 Category Theory for Computing Science – Michael Barr, Charles Wells - 1990
730 Notions of Computation and Monads – Eugenio Moggi - 1991
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
1 Algebra Universalis 40 – V Stebletsova, Y Venema, Q-algebras - 1998
1 Sequential calculus, Information Processing Letters 53(3 – B von Karger, C A R Hoare - 1995
4 Computer-aided investigations of relation algebras – Peter Jipsen - 1992
4 The class of representable sequential algebras is not finitely axiomatizable – B von Karger - 1994
9 A Calculational Approach to Reactive Systems – B von Karger - 2000
15 Varieties of Relation Algebras, Algebra Universalis 15 – J`on82 J`onsson, B - 1982
28 Step by Step - Building Representations in Algebraic Logic – Robin Hirsch, Ian Hodkinson - 1995
11 Discriminator varieties of Boolean algebras with residuated operators", in Algebraic methods in logic and computer science (editor – P Jipsen - 1993
65 The representation of relational algebras – R Lyndon - 1950