Pages that link to "Biography:Jean-Pierre Jouannaud"
From HandWiki
The following pages link to Biography:Jean-Pierre Jouannaud:
Displayed 8 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Rewriting (← links)
- Path ordering (term rewriting) (← links)
- Boolean algebra (structure) (← links)
- Unification (computer science) (← links)
- Semi-Thue system (← links)
- Abstract rewriting system (← links)
- Biography:Joseph Goguen (← links)
- Biography:David Plaisted (← links)