TY  - CONF

T1  - Rensets and renaming-based recursion for syntax with bindings

JO  - Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

PY  - 2022/08/01

AU  - Popescu A

ED  - 

DO  - DOI: 10.1007/978-3-031-10769-6_36

PB  - Springer International Publishing

SN  - 9783031107689

SP  - 618

EP  - 639

Y2  - 2024/12/26

ER  -