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