| |
|
| |
|
| |
Mathematical. Structures in Comp. Sci., Vol. 9, No. 5. (1999), pp. 569-616.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
International Journal of Theoretical Physics
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Studia Logica, Vol. 50 (1991), pp. 421-455.
|
| |
Innovations in Systems and Software Engineering
|
| |
Algebra Universalis, Vol. 26, No. 3. (21 October 1989), pp. 367-379.
|
| |
|
| |
|
| |
In Proceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, Genova, Italy, 6--7 Apr.\ 2001, Vol. 44(1) (2001)
|
| |
Formal Aspects of Computing, Vol. 13, No. 3. (5 July 2002), pp. 308-326.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338.
|
| |
|
| |
Trans. Amer. Math. Soc., Vol. 353, No. 1. (2001), pp. 411-426.
|
| |
Quart. J. Math. Oxford Ser. (2), Vol. 45, No. 180. (1994), pp. 515-530.
|
| |
Comm. Algebra, Vol. 31, No. 4. (2003), pp. 1777-1797.
|
| |
Comm. Algebra, Vol. 31, No. 12. (2003), pp. 6019-6036.
|
| |
J. Algebra Appl., Vol. 2, No. 4. (2003), pp. 365-395.
|
| |
|