The following pages link to Phil Watson (Q685378):
Displaying 6 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- On restricted forms of enumeration reducibility (Q1814011) (← links)
- Embeddings in the Strong Reducibilities Between 1 and npm (Q4366134) (← links)
- (Q4470570) (← links)
- (Q4955307) (← links)
- An efficient representation of arithmetic for term rewriting (Q5055764) (← links)
