dblp.uni-trier.dewww.uni-trier.de

Alain Colmerauer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
25EEAlain Colmerauer: Back to the Complexity of Universal Programs. CP 2008: 1-20
2004
24EEAlain Colmerauer: On the Complexity of Universal Programs. MCU 2004: 18-35
2003
23EEAlain 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
22EEAlain Colmerauer: Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees. AISC 2002: 2-3
2001
21EEAlain Colmerauer: Solving the Multiplication Constraint in Several Approximation Spaces. ICLP 2001: 1
2000
20EEAlain 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
1EEAlain Colmerauer: Total Precedence Relations. J. ACM 17(1): 14-30 (1970)

Coauthor Index

1Noëlle Bleuzen-Guernalec [17] [18]
2Michel Van Caneghem [5] [6]
3Thi-Bich-Hanh Dao [20] [23]
4Henry Kanoui [5] [6]
5Jean François Pique [4]
6Philippe Roussel [16]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)