| |
In Relations and Kleene algebra in computer science, Vol. 4136 (2006), pp. 162-176.
|
| |
Notre Dame J. Formal Logic, Vol. 42, No. 2. (2001), pp. 87-99 (2003).
|
| |
Ann. Pure Appl. Logic, Vol. 137, No. 1-3. (2006), pp. 30-61.
|
| |
Appl. Categ. Structures, Vol. 9, No. 5. (2001), pp. 437-456.
|
| |
|
| |
In Handbook of algebra, Vol. 3 (2003), pp. 791-857.
|
| |
In Orders: description and roles (L'Arbresle, 1982), Vol. 99 (1984), pp. 61-80.
|
| |
Formal Concept Analysis (2006), pp. 80-88.
|
| |
Abh. Braunschweig. Wiss. Ges., Vol. 33 (1982), pp. 117-145.
|
| |
Order, Vol. 12, No. 4. (1995), pp. 375-403.
|
| |
Proc. London Math. Soc. (3), Vol. 24 (1972), pp. 507-530.
|
| |
Bull. London Math. Soc., Vol. 2 (1970), pp. 186-190.
|
| |
In Trends in logic, Vol. 21 (2003), pp. 193-228.
|
| |
Algebra Universalis, Vol. 37, No. 3. (1997), pp. 391-401.
|
| |
Pacific J. Math., Vol. 54, No. 2. (1974), pp. 209-225.
|
| |
Algebra Universalis, Vol. 8, No. 1. (1978), pp. 45-58.
|
| |
Appl. Categ. Structures, Vol. 8, No. 1-2. (2000), pp. 115-144.
|
| |
Appl. Categ. Structures, Vol. 9, No. 1. (2001), pp. 41-63.
|
| |
Appl. Categ. Structures, Vol. 7, No. 1-2. (1999), pp. 31-70.
|
| |
Log. J. IGPL, Vol. 7, No. 6. (1999), pp. 683-715.
|
| |
Algebra Universalis, Vol. 55, No. 2. (2006), pp. 293-296.
|
| |
Tatra Mt. Math. Publ., Vol. 15 (1998), pp. 85-96.
|
| |
Math. Japon., Vol. 40, No. 2. (1994), pp. 207-215.
|
| |
J. Algebra, Vol. 238, No. 1. (2001), pp. 345-371.
|
| |
Math. Scand., Vol. 94, No. 1. (2004), pp. 13-45.
|
| |
Math. Japon., Vol. 52, No. 2. (2000), pp. 197-213.
|
| |
Trans. Amer. Math. Soc., Vol. 358, No. 2. (2006), pp. 573-590 (electronic).
|
| |
Algebra Universalis, Vol. 31, No. 4. (1994), pp. 506-515.
|
| |
Algebra Universalis, Vol. 29, No. 2. (1992), pp. 273-299.
|
