| |
Natural Language Processing and Knowledge Engineering, 2003. Proceedings. 2003 International Conference on (2003), pp. 95-101.
|
| |
In Computer Aided Verification (1998), pp. 293-304.
|
| |
: Recent Trends in Algebraic Development Techniques (2005), pp. 126-143.
|
| |
: Algebra and Coalgebra in Computer Science (2005), pp. 313-330.
|
| |
|
| |
In Second International Conference on Knowledge Discovery and Data Mining (1996)
|
| |
|
| |
|
| |
In Logic in Computer Science (1999), pp. 336-343.
|
| |
Inf. Comput., Vol. 171, No. 2. (December 2001), pp. 306-332.
|
| |
In VL '95: Proceedings of the 11th International IEEE Symposium on Visual Languages (1995)
|
| |
In MFCS '96: Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science (1996), pp. 62-92.
|
| |
Theoretical Computer Science, Vol. 140, No. 1. (1995), pp. 95-138.
|
| |
: AI 2006: Advances in Artificial Intelligence (2006), pp. 808-817.
|
| |
|
| |
In Working papers of the Int. Workshop on Information Systems - Correctness and Reusability, No. IR-357. (1994), pp. 22-30.
|
| |
: Theorem Proving in Higher Order Logics (1998), pp. 331-348.
|
| |
|
| |
|
| |
In CSL (1999), pp. 172-187.
|
| |
In Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers, Vol. LNCS 655 (1993), pp. 236-253.
|
| |
|
| |
Data Knowledge Engineering, Vol. 21, No. 3. (1997), pp. 317-346.
|
| |
|
CiteULike
scis0000001's CiteULike
Search
Export
