| |
In Categorical topology (Toledo, Ohio, 1983), Vol. 5 (1984), pp. 197-222.
|
| |
|
| |
Log. J. IGPL, Vol. 6, No. 5. (1998), pp. 669-694.
|
| |
Logic Jnl IGPL, Vol. 8, No. 6. (1 November 2000), pp. 853-860.
|
| |
In Current research in operational quantum logic, Vol. 111 (2000), pp. 167-194.
|
| |
Ann. Pure Appl. Logic, Vol. 72, No. 1. (1995), pp. 25-101.
|
| |
Log. J. IGPL, Vol. 8, No. 6. (2000), pp. 719-731.
|
| |
Pacific J. Math., Vol. 54, No. 2. (1974), pp. 209-225.
|
| |
Algebra Universalis, Vol. 8, No. 1. (1978), pp. 45-58.
|
| |
Repr. Theory Appl. Categ., No. 1. (2002), pp. 1-37 (electronic).
|
| |
J. Pure Appl. Algebra, Vol. 209, No. 1. (2007), pp. 269-290.
|
| |
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).
|
| |
Topology and its Applications In Topology and its Applications, Vol. 137, No. 1-3. (28 February 2004), pp. 125-158.
|
| |
Notre Dame Journal of Formal Logic, Vol. 38, No. 1. (1997), pp. 1-18.
|
| |
J. Logic Comput., Vol. 7, No. 4. (1997), pp. 501-522.
|
| |
Rep. Math. Logic, No. 29. (1995), pp. 133-146 (1996).
|
| |
Bull. Symbolic Logic, Vol. 10, No. 2. (2004), pp. 186-208.
|
| |
Appl. Categ. Structures, Vol. 2, No. 2. (1994), pp. 119-144.
|
| |
Appl. Categ. Structures, Vol. 9, No. 5. (2001), pp. 437-456.
|
| |
Rend. Circ. Mat. Palermo (2), Vol. 54, No. 1. (2005), pp. 50-70.
|
| |
Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on In Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on (1995), pp. 444-454.
|
| |
Amer. J. Math., Vol. 74 (1952), pp. 127-162.
|
| |
Amer. J. Math., Vol. 73 (1951), pp. 891-939.
|
| |
In Theories of types and proofs (Tokyo, 1997), Vol. 2 (1998), pp. 207-254.
|
| |
In Trends in logic, Vol. 21 (2003), pp. 109-144.
|
| |
In Trends in logic, Vol. 21 (2003), pp. 193-228.
|
| |
Algebra Universalis, Vol. 37, No. 3. (1997), pp. 391-401.
|
| |
Quaest. Math., Vol. 28, No. 3. (2005), pp. 355-373.
|
| |
In Relational methods in computer science, Vol. 3929 (2006), pp. 17-32.
|
| |
In Relational methods in computer science, Vol. 3929 (2006), pp. 212-224.
|
| |
Canad. Math. Bull., Vol. 19, No. 4. (1976), pp. 385-402.
|
| |
Order, Vol. 7, No. 3. (1990), pp. 295-314.
|
| |
In Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965) (1966), pp. 1-20.
|
| |
Repr. Theory Appl. Categ., No. 15. (2006), pp. 1-13 (electronic).
|
| |
Repr. Theory Appl. Categ., No. 16. (2006), pp. 1-16 (electronic).
|
| |
Repr. Theory Appl. Categ., No. 8. (2005), pp. 1-24 (electronic).
|
| |
Log. J. IGPL, Vol. 7, No. 6. (1999), pp. 683-715.
|
| |
In Advances in modal logic. Vol. 4 (2003), pp. 335-353.
|
| |
Algebra Universalis, Vol. 55, No. 2. (2006), pp. 293-296.
|
| |
Tatra Mt. Math. Publ., Vol. 15 (1998), pp. 85-96.
|
| |
Discrete Math., Vol. 181, No. 1-3. (1998), pp. 91-111.
|
| |
Algebra Universalis, Vol. 30, No. 4. (1993), pp. 538-580.
|
| |
Semigroup Forum, Vol. 34, No. 3. (1987), pp. 253-285.
|
| |
In Proceedings of the International Symposium on the Semigroup Theory and its Related Fields (Kyoto, 1990) (1990), pp. 63-83.
|
| |
Notre Dame J. Formal Logic, Vol. 42, No. 3. (2001), pp. 171-192 (2003).
|
| |
In School on Category Theory and Applications (Coimbra, 1999), Vol. 21 (1999), pp. 39-100.
|
Search
