What does ATRS stand for?
ATRS stands for "Applicative Term Rewriting Systems"
How to abbreviate "Applicative Term Rewriting Systems"?
"Applicative Term Rewriting Systems" can be abbreviated as ATRS
What is the meaning of ATRS abbreviation?
The meaning of ATRS abbreviation is "Applicative Term Rewriting Systems"
What does ATRS mean?
ATRS as abbreviation means "Applicative Term Rewriting Systems"
