The following pages link to Alain Colmerauer (Q1424766):
Displaying 12 items.
- Expressiveness of full first-order constraints in the algebra of finite or infinite trees (Q1424767) (← links)
- Optimal narrowing of a block of sortings in optimal time (Q1975205) (← links)
- (Q3666234) (← links)
- (Q3707994) (← links)
- (Q3857726) (← links)
- Total Precedence Relations (Q4057559) (← links)
- (Q4473025) (← links)
- (Q4729329) (← links)
- (Q4736492) (← links)
- (Q4808698) (← links)
- (Q5534215) (← links)
- Machines, Computations, and Universality (Q5710883) (← links)
