| |
|
| |
|
| |
Logic in Computer Science, Symposium on In Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on, Vol. 0 (2008), pp. 69-80.
|
| |
ACM Trans. Comput. Logic, Vol. 9, No. 3. (2008), pp. 1-49.
|
| |
|
| |
|
| |
Bulletin of Symbolic Logic, Vol. 10, No. 3. (September 2004), pp. 305-333.
|
| |
Theoretical Computer Science, Vol. 232, No. 1-2. (6 February 2000), pp. 91-119.
|
| |
Logic Jnl IGPL, Vol. 2, No. 2. (1 September 1994), pp. 137-148.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (2008), pp. 359-369.
|
| |
Annals of Pure and Applied Logic (11 November 2008)
|
| |
In FLOPS '99: Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (1999), pp. 300-318.
|
| |
The Bulletin of Symbolic Logic, Vol. 5, No. 1. (1999), pp. 1-44.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
| |
|
| |
ArXiv Mathematics e-prints (August 2002)
|
| |
|
| |
|
| |
|
| |
Theoretical Computer Science, Vol. 110, No. 2. (1993), pp. 249-339.
|
| |
|
| |
Ratio Juris, Vol. 15, No. 4. (2002), pp. 377-402.
|
| |
Machine Learning, Vol. 16, No. 3. (1994), pp. 203-225.
|
| |
|
| |
Artificial Intelligence, Vol. 77, No. 2. (1995), pp. 321-358.
|
| |
In KR'98: Principles of Knowledge Representation and Reasoning (1998), pp. 557-568.
|
| |
Annals of Pure and Applied Logic In International Meeting on Logic, Algebra and Geometry, Vol. 143, No. 1-3. (November 2006), pp. 20-28.
|
| |
|
| |
|
| |
In CSL (2000), pp. 292-301.
|
| |
|
| |
|
| |
|
Search
