On symbol elimination in theory extensions and applications to parametric verification
Università degli Studi di Milano (Hrsg). Book of Abstracts : Logic Colloquium 2023 European Summer Meeting of the Association for Symbolic Logic : University of Milan, Italy, 5—9 June 2023. Mailand: Università degli Studi di Milano 2023 S. 9
Erscheinungsjahr: 2023
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft: | Bibliothek |
