On Symbol Elimination and Uniform Interpolation in Theory Extensions.
CADE. 2025 S. 35 - 55
Erscheinungsjahr: 2025
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.1007/978-3-031-99984-0_3
| Geprüft: | Bibliothek |
CADE. 2025 S. 35 - 55
Erscheinungsjahr: 2025
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.1007/978-3-031-99984-0_3
| Geprüft: | Bibliothek |
