| |
In Proceedings of Mathematical Foundation of Computer Science (1993)
|
| |
|
| |
|
| |
Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471.
|
| |
Philosophia Mathematica, Vol. 9, No. 2. (1 June 2001), pp. 184-211.
|
| |
In DIAGRAMS '02: Proceedings of the Second International Conference on Diagrammatic Representation and Inference (2002), pp. 112-115.
|
| |
Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on, Vol. 2 (2003), pp. 1279-1282 vol.2.
|
| |
In Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification (1996), pp. 17-48.
|
| |
Journal of High Energy Physics, Vol. 8 (August 2001), 4.
|
| |
ArXiv Mathematics e-prints (January 2006)
|
| |
Archive for Mathematical Logic, Vol. 24, No. 1. (1 December 1984), pp. 1-16.
|
| |
Studia Logica, Vol. 48, No. 3. (1989), pp. 269-278.
|
| |
In TPHOLs '01: Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (2001), pp. 136-153.
|
| |
In Proceedings on Mathematical Foundations of Computer Science (1981), pp. 563-577.
|
| |
J. Symb. Comput., Vol. 35, No. 2. (February 2003), pp. 127-135.
|
| |
|
| |
Bulletin of Mathematical Biology, Vol. 33, No. 3. (1971), pp. 339-354.
|
| |
|
| |
Kybernetes: The International Journal of Systems & Cybernetics, Vol. 34, No. 9-10. (September 2005), pp. 1321-1348.
|
| |
|
| |
Fuzzy Sets Syst., Vol. 127, No. 3. (May 2002), pp. 291-297.
|
| |
Annals of Mathematics and Artificial Intelligence, Vol. 10, No. 1. (1 March 1994), pp. 25-54.
|
| |
|
| |
In Proc. SPIE Vol. 4311, p. 156-167, Internet Imaging II, Giordano B. Beretta; Raimondo Schettini; Eds., Vol. 4311 (December 2000), pp. 156-167.
|
| |
|
| |
ArXiv Mathematics e-prints (April 2003)
|
| |
IEEE Trans. Softw. Eng., Vol. 26, No. 6. (June 2000), pp. 500-517.
|
| |
Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 1387 (1998), pp. 63-??.
|
| |
|
| |
In Knowledge Representation Meets Databases (1997), pp. 7.1-7.5.
|
| |
Automated Software Engg., Vol. 8, No. 1. (January 2001), pp. 7-30.
|
| |
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
: Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000. Proceedings (2000), 484.
|
| |
ArXiv Mathematics e-prints (June 2003)
|
| |
eprint arXiv:q-bio/0406045 (June 2004)
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
In Category Theory and Computer Science (1997), pp. 147-158.
|
| |
|
| |
|
| |
: Algebra and Coalgebra in Computer Science (2005), pp. 313-330.
|
| |
In Category Theory and Computer Science (1995), pp. 3-23.
|
| |
|
| |
|
| |
Informatique Theorique et Applications, Vol. 33, No. 4/5. (1999), pp. 401-426.
|
| |
SICE 2003 Annual Conference, Vol. 1 (2003), pp. 961-966.
|
| |
Bulletin of Mathematical Biology, Vol. V45, No. 6. (1 November 1983), pp. 1047-1072.
|