popular
trending
lists
login
Rewriting systems
Abstract machines
Graph rewriting
Substitution (logic)
Term-rewriting programming languages
Unification (computer science)
Jean-Pierre Jouannaud
Latest Activity
Latest Events
Coco Jones and Donovan Mitchell
Marriage - 1st Aug 2026
by TrickyBaby
Rafal Brzozowski and Helena Adwent
Marriage - 1st Aug 2026
by Milena87744
Cole Hosman and Sienna Mae Gomez
Marriage - 31st Jul 2026
by jeremiahsercado
Naomi Joël and Jay Zwarts
Child - 31st Jul 2026
by annika_lb
see more
Follow WDW on Facebook
