International Conference on Rewriting Techniques and Applications (Q6049670)
Jump to navigation
Jump to search
former annual conference series on rewriting
- RTA
Language | Label | Description | Also known as |
---|---|---|---|
English | International Conference on Rewriting Techniques and Applications |
former annual conference series on rewriting |
|
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