Alain Colmerauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
1981–2008
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CP | Back to the Complexity of Universal Programs. | Alain Colmerauer |
| 2004 | MCU | On the Complexity of Universal Programs. | Alain Colmerauer |
| 2002 | AISC | Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees. | Alain Colmerauer |
| 2001 | ICLP | Solving the Multiplication Constraint in Several Approximation Spaces. | Alain Colmerauer |
| 2000 | CP | Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. | Alain Colmerauer, Thi-Bich-Hanh Dao |
| 1997 | CP | Narrowing a Block of Sortings in Quadratic Time. | Nolle Bleuzen-Guernalec, Alain Colmerauer |
| 1990 | ICLP | Prolog III as it Actually Is. | Alain Colmerauer |
| 1983 | IJCAI | Prolog in Ten Figures. | Alain Colmerauer |
| 1981 | IJCAI | Last Steps Towards an Ultimate PROLOG. | Alain Colmerauer, Henry Kanoui, Michel Van Caneghem |
| 1981 | IJCAI | Demonstrating PROLOG on APPLE II. | Alain Colmerauer, Henry Kanoui, Michel Van Caneghem |