![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Alain Colmerauer
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2008
- [c20]Alain Colmerauer:
Back to the Complexity of Universal Programs. CP 2008: 1-20 - 2004
- [c19]Alain Colmerauer:
On the Complexity of Universal Programs. MCU 2004: 18-35 - 2003
- [j6]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): 283-302 (2003) - 2002
- [c18]Alain Colmerauer:
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees. AISC 2002: 2-3 - 2001
- [c17]Alain Colmerauer:
Solving the Multiplication Constraint in Several Approximation Spaces. ICLP 2001: 1 - 2000
- [j5]Noëlle Bleuzen-Guernalec, Alain Colmerauer:
Optimal Narrowing of a Block of Sortings in Optimal Time. Constraints An Int. J. 5(1/2): 85-118 (2000) - [c16]Alain Colmerauer, Thi-Bich-Hanh Dao:
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. CP 2000: 172-186 - [c15]Alain Colmerauer:
Conférence invitée: Négation et quantification dans les contraintes. JFPLC 2000: 145-
1990 – 1999
- 1997
- [c14]Noëlle Bleuzen-Guernalec, Alain Colmerauer:
Narrowing a Block of Sortings in Quadratic Time. CP 1997: 2-16 - 1993
- [c13]Alain Colmerauer, Philippe Roussel:
The Birth of Prolog. HOPL Preprints 1993: 37-52 - [e1]Frédéric Benhamou, Alain Colmerauer:
Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France. MIT Press 1993, ISBN 0-262-02353-9 [contents] - 1991
- [c12]Alain Colmerauer:
Naive Solving of Non-linear Constraints. WCLP 1991: 89-112 - 1990
- [j4]Alain Colmerauer:
An Introduction to Prolog III. Commun. ACM 33(7): 69-90 (1990) - [c11]Alain Colmerauer:
Prolog III as it Actually Is. ICLP 1990: 766
1980 – 1989
- 1989
- [c10]Alain Colmerauer:
Une introduction à Prolog III. FODO 1989: 263-288 - 1986
- [c9]Alain Colmerauer:
Note sur Prolog III. SPLT 1986: 159-174 - 1985
- [j3]Alain Colmerauer:
Prolog in 10 Figures. Commun. ACM 28(12): 1296-1310 (1985) - 1984
- [c8]Alain Colmerauer:
Equations and Inequations on Finite and Infinite Trees. FGCS 1984: 85-99 - 1983
- [c7]Alain Colmerauer:
Prolog in Ten Figures. IJCAI 1983: 487-499 - [c6]Alain Colmerauer:
Prolog en 10 figures. SPLT 1983 - 1981
- [c5]Alain Colmerauer, Henry Kanoui, Michel Van Caneghem:
Last Steps Towards an Ultimate PROLOG. IJCAI 1981: 947-948 - [c4]Alain Colmerauer, Henry Kanoui, Michel Van Caneghem:
Demonstrating PROLOG on APPLE II. IJCAI 1981: 1056
1970 – 1979
- 1979
- [j2]Alain Colmerauer:
Un sous-ensemble intéressant du français. RAIRO Theor. Informatics Appl. 13(4): 309-336 (1979) - [c3]Alain Colmerauer, Jean François Pique:
About Natural Logic. Advances in Data Base Theory 1979: 343-365 - 1978
- [c2]Alain Colmerauer:
Metamorphosis Grammars. Natural Language Communication with Computers 1978: 133-189 - 1970
- [j1]Alain Colmerauer:
Total Precedence Relations. J. ACM 17(1): 14-30 (1970)
1960 – 1969
- 1969
- [c1]Guy de Chastellier, Alain Colmerauer:
W-grammar. ACM National Conference 1969: 511-518 - 1967
- [b1]Alain Colmerauer:
Précédence, analyse syntaxique et langages de programmation. Joseph Fourier University, Grenoble, France, 1967
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 20:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint