| |
J. Exp. Algorithmics, Vol. 13 (2009)
|
| |
|
| |
|
| |
|
| |
In Proceedings of a tutorial and workshop on Category theory and computer programming (1986), pp. 266-281.
|
| |
|
| |
|
| |
Artificial Intelligence, Vol. 124, No. 2. (December 2000), pp. 243-282.
|
| |
In SODA '06: Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm (2006), pp. 289-298.
|
| |
|
| |
In PODS '06: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2006), pp. 40-49.
|
| |
In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 148-159.
|
| |
In International Joint Conference on Artificial Intelligence (2003), pp. 16-21.
|
| |
Information Systems In The 14th International Conference on Advanced Information Systems Engineering (CAiSE*02), Vol. 29, No. 2. (April 2004), pp. 147-163.
|
| |
The Journal of Logic Programming, Vol. 43, No. 1. (April 2000), pp. 49-73.
|
| |
The VLDB Journal The International Journal on Very Large Data Bases, Vol. 10, No. 2. (2001), pp. 182-198.
|
| |
Journal of Computer and System Sciences, Vol. 28, No. 1. (February 1984), pp. 167-189.
|
| |
In PODS '98: Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1998), pp. 254-263.
|
| |
In IJCAI (2007), pp. 1402-1407.
|
| |
|
| |
|
| |
Journal of Algorithms, Vol. 20, No. 1. (January 1996), pp. 20-44.
|
| |
|
| |
|
| |
In PODS '06: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2006), pp. 50-59.
|
| |
In PODS '02: Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2002), pp. 233-246.
|
| |
Category Theory and Computer Programming (1986), pp. 313-333.
|
| |
J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
|
| |
In PODS '07: Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2007), pp. 123-132.
|
| |
|
| |
Theoretical Computer Science In Database Theory, Vol. 336, No. 1. (25 May 2005), pp. 89-124.
|
| |
|
| |
In PPDP '09: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming (2009), pp. 61-72.
|
| |
International Journal of Computer Mathematics, Vol. 6, No. 3. (1977), pp. 191-215.
|
| |
J. ACM, Vol. 25, No. 3. (1978), pp. 405-414.
|
| |
Journal of Combinatorial Theory, Series B, Vol. 58, No. 1. (May 1993), pp. 22-33.
|
| |
|
| |
Journal of Algorithms, Vol. 5, No. 4. (December 1984), pp. 531-546.
|
| |
STACS 2005 (2005), pp. 110-120.
|
| |
Journal of Algorithms, Vol. 7, No. 3. (September 1986), pp. 309-322.
|
| |
Journal of Computer and System Sciences, Vol. 53, No. 2. (October 1996), pp. 161-170.
|
| |
Journal of Graph Theory, Vol. 47, No. 4. (2004), pp. 275-296.
|
| |
|
| |
In In Proceedings of the 24th International Colloquium on Automata, Languages, and Programming, Vol. 25 (1998), pp. 816-826.
|
| |
In PODS '98: Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1998), pp. 197-204.
|
| |
J. ACM, Vol. 49, No. 6. (2002), pp. 716-752.
|
| |
In Journal of Computer and System Sciences, Vol. 61 (1998), pp. 205-213.
|
| |
SIGMOD Rec., Vol. 31, No. 4. (2002), pp. 86-96.
|
| |
|
| |
MICAI 2008: Advances in Artificial Intelligence (2008), pp. 1-11.
|