The following pages link to Françoise Bellegarde (Q757068):
Displaying 11 items.
- Termination by completion (Q757069) (← links)
- Rewriting systems on FP expressions to reduce the number of sequences yielded (Q1819572) (← links)
- (Q2764139) (← links)
- (Q3718129) (← links)
- (Q3757390) (← links)
- (Q3883460) (← links)
- (Q4195916) (← links)
- (Q4472200) (← links)
- (Q4472203) (← links)
- Program transformation and rewriting (Q5055762) (← links)
- A matching process modulo a theory of categorical products (Q5096201) (← links)