What does HOTRS stand for?
HOTRS stands for "Higher Order Term Rewriting System"
How to abbreviate "Higher Order Term Rewriting System"?
"Higher Order Term Rewriting System" can be abbreviated as HOTRS
What is the meaning of HOTRS abbreviation?
The meaning of HOTRS abbreviation is "Higher Order Term Rewriting System"
What does HOTRS mean?
HOTRS as abbreviation means "Higher Order Term Rewriting System"
