| |
Electronic Notes in Theoretical Computer Science, Vol. 83 (2005)
|
| |
In ICLP/SLP (1988), pp. 111-125.
|
| |
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 176, No. 4. (2007), pp. 215-231.
|
| |
|
| |
Logic in Computer Science, Symposium on, Vol. 0 (1996), 242.
|
| |
In Proc. of the 8th international conference on Automated deduction (1986), pp. 172-189.
|
| |
Theor. Comput. Sci., Vol. 69, No. 1. (1989), pp. 1-53.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 4 (January 1996), pp. 190-225.
|
| |
In ISLP (1991), pp. 321-336.
|
| |
In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 209-220.
|
| |
J. Log. Program., Vol. 15, No. 1-2. (1993), pp. 55-77.
|
| |
In Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics (1995), pp. 133-140.
|
| |
Automata, Languages and Programming (2005), pp. 1214-1225.
|
| |
Journal of Logic, Language and Information, Vol. 10, No. 2. (18 March 2001), pp. 211-232.
|
| |
In ICLP (1993), pp. 64-79.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 12, No. 4. (1990), pp. 610-640.
|
| |
In JICSLP (1992), pp. 273-287.
|
| |
|
| |
Information and Computation, Vol. 118, No. 1. (April 1995), pp. 12-33.
|
| |
In Specifying syntactic structures (1997), pp. 75-113.
|
| |
In Rome Workshop on Linear Logic and Categorical Grammar
|
| |
Algebraic and Logic Programming (1996), pp. 224-237.
|
| |
Logic Programming (2001), pp. 315-330.
|
Search
Export
