| |
|
| |
|
| |
In In FLOPS ’06: Functional and Logic Programming: 8th International Symposium, Vol. 11 (2006), pp. 208-225.
|
| |
Formal Aspects of Computing (2009)
|
| |
Studia Logica, Vol. 91, No. 1. (1 February 2009), pp. 125-130.
|
| |
Information Theory, IEEE Transactions on, Vol. 49, No. 11. (2003), pp. 2809-2825.
|
| |
Journal of Applied Logic, Vol. 1, No. 5-6. (October 2003), pp. 309-392.
|
| |
Automatic Control, IEEE Transactions on In Automatic Control, IEEE Transactions on, Vol. 44, No. 4. (1999), pp. 846-852.
|
| |
Philosophical Perspectives, Vol. 7 (1993), pp. 331-357.
|
| |
Communications of the ACM, Vol. 30, No. 8. (August 1987), pp. 672-686.
|
| |
Physics Letters A, Vol. 248, No. 2-4. (09 November 1998), pp. 109-113.
|
| |
Journal of Physics A: Mathematical and General, Vol. 32, No. 15. (1999), pp. 2785-2790.
|
| |
In POPL '80: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1980), pp. 251-261.
|
| |
TAPSOFT '95: Theory and Practice of Software Development In TAPSOFT '95: Theory and Practice of Software Development, Vol. 915 (1995), pp. 82-96.
|
| |
|
| |
Recent Trends in Data Type Specification In Recent Trends in Data Type Specification, Vol. 906 (1995), pp. 81-115.
|
| |
Mathematics of Program Construction, Vol. 669 (1993), pp. 100-121.
|
| |
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 9, No. 1. (1987), pp. 54-99.
|
| |
Visual Languages, IEEE Symposium on, Vol. 0 (23-26 September 1997), 242.
|
| |
In In Proceedings of the ERCIM Workshop on User Interfaces for All (1996), pp. 120-132.
|
| |
Advances in Computing Science — ASIAN'97 In Advances in Computing Science — ASIAN'97 (1997), pp. 297-311.
|
| |
In Visual Language Theory (1998), pp. 325-351.
|
| |
|
| |
|
| |
3-D Digital Imaging and Modeling, 2007. 3DIM '07. Sixth International Conference on In 3-D Digital Imaging and Modeling, 2007. 3DIM '07. Sixth International Conference on (2007), pp. 3-12.
|
| |
IEEE/ACM Trans. Netw., Vol. 15, No. 5. (2007), pp. 1084-1097.
|
| |
Numerical Linear Algebra with Applications, Vol. 12, No. 5-6. (2005), pp. 471-494.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 4. (December 2008), pp. 341-360.
|
| |
Compositio Math., Vol. 76, No. 3. (1990), pp. 351-366.
|
| |
ArXiv Mathematics e-prints (December 2000)
|
| |
Journal of Computer and System Sciences In Special Issue on STOC 2002, Vol. 67, No. 2. (September 2003), pp. 325-340.
|
| |
|
| |
|
| |
IEEE/ACM Trans. Netw., Vol. 11, No. 5. (October 2003), pp. 782-795.
|
| |
International Journal of Computer Vision, Vol. 56, No. 3. (1 February 2004), pp. 195-219.
|
| |
|
| |
Mob. Inf. Syst., Vol. 2, No. 1. (January 2006), pp. 51-76.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra 2004), Vol. 127, No. 3. (11 April 2005), pp. 31-47.
|
| |
Origins of Life and Evolution of Biospheres, Vol. 19, No. 3. (12 May 1989), pp. 526-527.
|
| |
|
| |
Artif. Intell. Law, Vol. 11, No. 2-3. (2003), pp. 81-104.
|
| |
Annals of Mathematics and Artificial Intelligence, Vol. 42, No. 1-3. (2004), pp. 141-166.
|
| |
In Proceedings CSL'94, Computer Science Logic, Vol. 933 (1995), pp. 412-426.
|
| |
Information Theory, 2006 IEEE International Symposium on (2006), pp. xliii-xliii.
|
| |
Custom Integrated Circuits, 2001, IEEE Conference on. (2001), pp. 297-300.
|
| |
Signal Processing Systems, 2002. (SIPS '02). IEEE Workshop on (2002), pp. 39-44.
|
| |
Information Theory Workshop, 2003. Proceedings. 2003 IEEE In Information Theory Workshop, 2003. Proceedings. 2003 IEEE (2003), pp. 10-13.
|
| |
Communications, 2004 IEEE International Conference on, Vol. 5 (26 July 2004), pp. 2584-2590 Vol.5.
|
Search
