Alain Colmerauer

Publication Activity (10 Years)

Years Active: 1969-2008
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Alain Colmerauer
Back to the Complexity of Universal Programs. CP (2008)
Alain Colmerauer
On the Complexity of Universal Programs. MCU (2004)
Alain Colmerauer, Thi-Bich-Hanh Dao
Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees. Constraints An Int. J. 8 (3) (2003)
Alain Colmerauer
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees. AISC (2002)
Alain Colmerauer
Solving the Multiplication Constraint in Several Approximation Spaces. ICLP (2001)
Alain Colmerauer, Thi-Bich-Hanh Dao
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. CP (2000)
Noëlle Bleuzen-Guernalec, Alain Colmerauer
Optimal Narrowing of a Block of Sortings in Optimal Time. Constraints An Int. J. 5 (1/2) (2000)
Alain Colmerauer
Conférence invitée: Négation et quantification dans les contraintes. JFPLC (2000)
Noëlle Bleuzen-Guernalec, Alain Colmerauer
Narrowing a Block of Sortings in Quadratic Time. CP (1997)
Alain Colmerauer, Philippe Roussel
The Birth of Prolog. HOPL Preprints (1993)
Alain Colmerauer
Naive Solving of Non-linear Constraints. WCLP (1991)
Alain Colmerauer
An Introduction to Prolog III. Commun. ACM 33 (7) (1990)
Alain Colmerauer
Prolog III as it Actually Is. ICLP (1990)
Alain Colmerauer
Une introduction à Prolog III. FODO (1989)
Alain Colmerauer
Note sur Prolog III. SPLT (1986)
Alain Colmerauer
Prolog in 10 Figures. Commun. ACM 28 (12) (1985)
Alain Colmerauer
Equations and Inequations on Finite and Infinite Trees. FGCS (1984)
Alain Colmerauer
Prolog in Ten Figures. IJCAI (1983)
Alain Colmerauer
Prolog en 10 figures. SPLT (1983)
Alain Colmerauer, Henry Kanoui, Michel Van Caneghem
Demonstrating PROLOG on APPLE II. IJCAI (1981)
Alain Colmerauer, Henry Kanoui, Michel Van Caneghem
Last Steps Towards an Ultimate PROLOG. IJCAI (1981)
Alain Colmerauer, Jean François Pique
About Natural Logic. Advances in Data Base Theory (1979)
Alain Colmerauer
Un sous-ensemble intéressant du français. RAIRO Theor. Informatics Appl. 13 (4) (1979)
Alain Colmerauer
Metamorphosis Grammars. Natural Language Communication with Computers (1978)
Alain Colmerauer
Total Precedence Relations. J. ACM 17 (1) (1970)
Guy de Chastellier, Alain Colmerauer
W-grammar. ACM National Conference (1969)

Alain Colmerauer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Alain Colmerauer