Alain Colmerauer

According to our database, Alain Colmerauer authored at least 26 papers between 1967 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

Back to the Complexity of Universal Programs.

Alain Colmerauer

Proceedings of the Principles and Practice of Constraint Programming, 2008

2004

On the Complexity of Universal Programs.

Alain Colmerauer

Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004

2003

Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees.

Alain Colmerauer, Thi-Bich-Hanh Dao

Constraints An Int. J., 2003

2002

Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees.

Alain Colmerauer

Proceedings of the Artificial Intelligence, 2002

2001

Solving the Multiplication Constraint in Several Approximation Spaces.

Alain Colmerauer

Proceedings of the Logic Programming, 17th International Conference, 2001

2000

Optimal Narrowing of a Block of Sortings in Optimal Time.

Noëlle Bleuzen-Guernalec, Alain Colmerauer

Constraints An Int. J., 2000

Conférence invitée: Négation et quantification dans les contraintes.

Alain Colmerauer

Proceedings of the Programmation en logique avec contraintes, 2000

1997

Narrowing a Block of Sortings in Quadratic Time.

Noëlle Bleuzen-Guernalec, Alain Colmerauer

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

1993

The Birth of Prolog.

Alain Colmerauer, Philippe Roussel

Proceedings of the History of Programming Languages Conference (HOPL-II), 1993

1991

Naive Solving of Non-linear Constraints.

Alain Colmerauer

Proceedings of the Constraint Logic Programming, 1991

1990

An Introduction to Prolog III.

Alain Colmerauer

Commun. ACM, 1990

Prolog III as it Actually Is.

Alain Colmerauer

Proceedings of the Logic Programming, 1990

1989

Une introduction à Prolog III.

Alain Colmerauer

Proceedings of the Foundations of Data Organization and Algorithms, 1989

1986

Note sur Prolog III.

Alain Colmerauer

Proceedings of the SPLT'86, 1986

1985

Prolog in 10 Figures.

Alain Colmerauer

Commun. ACM, 1985

1984

Equations and Inequations on Finite and Infinite Trees.

Alain Colmerauer

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

Prolog en 10 figures.

Alain Colmerauer

Proceedings of the SPLT'83, 1983

Prolog in Ten Figures.

Alain Colmerauer

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1981

Demonstrating PROLOG on APPLE II.

Alain Colmerauer, Henry Kanoui, Michel Van Caneghem

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

Last Steps Towards an Ultimate PROLOG.

Alain Colmerauer, Henry Kanoui, Michel Van Caneghem

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1979

Un sous-ensemble intéressant du français.

Alain Colmerauer

RAIRO Theor. Informatics Appl., 1979

About Natural Logic.

Alain Colmerauer, Jean François Pique

Proceedings of the Advances in Data Base Theory, 1979

1978

Metamorphosis Grammars.

Alain Colmerauer

Proceedings of the Natural Language Communication with Computers, 1978

1970

Total Precedence Relations.

Alain Colmerauer

J. ACM, 1970

1969

W-grammar.

Guy de Chastellier, Alain Colmerauer

Proceedings of the 24th national conference, 1969

1967

Précédence, analyse syntaxique et langages de programmation.

Alain Colmerauer

PhD thesis, 1967