≡
Home
Recent changes
Special pages
Wikipedia
Terminating relation
Redirect to:
Abstract rewriting system#Termination and convergence