Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

On Symbol Elimination and Uniform Interpolation in Theory Extensions.

CoRR. Bd. abs/2506.01664. 2025

Erscheinungsjahr: 2025

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.48550/arXiv.2506.01664

Volltext über DOI/URN

Geprüft:Bibliothek

Autoren

Sofronie-Stokkermans, Viorica (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik