Alain Colmerauer

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
On the complexity of universal programs
Lecture Notes in Computer Science
2005-12-08Paper
Expressiveness and complexity of full first-order constraints in the algebra of trees
Lecture Notes in Computer Science
2004-08-12Paper
Solving the multiplication constraint in several approximation spaces
Lecture Notes in Computer Science
2004-08-09Paper
Expressiveness of full first order constraints in the algebra of finite or infinite trees
Lecture Notes in Computer Science
2004-08-04Paper
Expressiveness of full first-order constraints in the algebra of finite or infinite trees
Constraints
2004-03-15Paper
Optimal narrowing of a block of sortings in optimal time
Constraints
2000-04-09Paper
scientific article; zbMATH DE number 4113971 (Why is no real title available?)1989-01-01Paper
scientific article; zbMATH DE number 3933036 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3819057 (Why is no real title available?)1983-01-01Paper
scientific article; zbMATH DE number 3659003 (Why is no real title available?)1979-01-01Paper
Total Precedence Relations
Journal of the ACM
1970-01-01Paper
scientific article; zbMATH DE number 3246245 (Why is no real title available?)1967-01-01Paper


Research outcomes over time


This page was built for person: Alain Colmerauer