Alain Colmerauer

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