(Q6049670)
Statements
RTA (English)
0 references
International Conference on Rewriting Techniques and Applications (English)
1 reference
Identifiers
International Conference on Rewriting Techniques and Applications
1 reference
12 November 2022
1 reference