| 2008 |
|---|
| 25 | EE | Alain Colmerauer:
Back to the Complexity of Universal Programs.
CP 2008: 1-20 |
| 2004 |
|---|
| 24 | EE | Alain Colmerauer:
On the Complexity of Universal Programs.
MCU 2004: 18-35 |
| 2003 |
|---|
| 23 | EE | Alain Colmerauer,
Thi-Bich-Hanh Dao:
Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees.
Constraints 8(3): 283-302 (2003) |
| 2002 |
|---|
| 22 | EE | Alain Colmerauer:
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees.
AISC 2002: 2-3 |
| 2001 |
|---|
| 21 | EE | Alain Colmerauer:
Solving the Multiplication Constraint in Several Approximation Spaces.
ICLP 2001: 1 |
| 2000 |
|---|
| 20 | EE | Alain Colmerauer,
Thi-Bich-Hanh Dao:
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees.
CP 2000: 172-186 |
| 19 | | Alain Colmerauer:
Conférence invitée: Négation et quantification dans les contraintes.
JFPLC 2000: 145- |
| 18 | | Noëlle Bleuzen-Guernalec,
Alain Colmerauer:
Optimal Narrowing of a Block of Sortings in Optimal Time.
Constraints 5(1/2): 85-118 (2000) |
| 1997 |
|---|
| 17 | | Noëlle Bleuzen-Guernalec,
Alain Colmerauer:
Narrowing a Block of Sortings in Quadratic Time.
CP 1997: 2-16 |
| 1993 |
|---|
| 16 | | Alain Colmerauer,
Philippe Roussel:
The Birth of Prolog.
HOPL Preprints 1993: 37-52 |
| 1991 |
|---|
| 15 | | Alain Colmerauer:
Naive Solving of Non-linear Constraints.
WCLP 1991: 89-112 |
| 1990 |
|---|
| 14 | | Alain Colmerauer:
Prolog III as it Actually Is.
ICLP 1990: 766 |
| 13 | | Alain Colmerauer:
An Introduction to Prolog III.
Commun. ACM 33(7): 69-90 (1990) |
| 1989 |
|---|
| 12 | | Alain Colmerauer:
Une introduction à Prolog III.
FODO 1989: 264-288 |
| 1986 |
|---|
| 11 | | Alain Colmerauer:
Note sur Prolog III.
SPLT 1986: 159-174 |
| 1985 |
|---|
| 10 | | Alain Colmerauer:
Prolog in 10 Figures.
Commun. ACM 28(12): 1296-1310 (1985) |
| 1984 |
|---|
| 9 | | Alain Colmerauer:
Equations and Inequations on Finite and Infinite Trees.
FGCS 1984: 85-99 |
| 1983 |
|---|
| 8 | | Alain Colmerauer:
Prolog in Ten Figures.
IJCAI 1983: 487-499 |
| 7 | | Alain Colmerauer:
Prolog en 10 figures.
SPLT 1983 |
| 1981 |
|---|
| 6 | | Alain Colmerauer,
Henry Kanoui,
Michel Van Caneghem:
Demonstrating PROLOG on APPLE II.
IJCAI 1981: 1056 |
| 5 | | Alain Colmerauer,
Henry Kanoui,
Michel Van Caneghem:
Last Steps Towards an Ultimate PROLOG.
IJCAI 1981: 947-948 |
| 1979 |
|---|
| 4 | | Alain Colmerauer,
Jean François Pique:
About Natural Logic.
Advances in Data Base Theory 1979: 343-365 |
| 3 | | Alain Colmerauer:
Un sous-ensemble intéressant du français.
ITA 13(4): (1979) |
| 1978 |
|---|
| 2 | | Alain Colmerauer:
Metamorphosis Grammars.
Natural Language Communication with Computers 1978: 133-189 |
| 1970 |
|---|
| 1 | EE | Alain Colmerauer:
Total Precedence Relations.
J. ACM 17(1): 14-30 (1970) |
