Page values for "RTA"
关于“RTA”的事实
EventSeries acronym | RTA + |
Has CORE Rank | A + |
IsA | EventSeries + |
Title | International Conference on Rewriting Techniques and Applications (now merged with FSCD Formal Structures for Computation and Deduction) + |
EventSeries acronym | RTA + |
Has CORE Rank | A + |
IsA | EventSeries + |
Title | International Conference on Rewriting Techniques and Applications (now merged with FSCD Formal Structures for Computation and Deduction) + |