On symbol elimination in theory extensions and applications to parametric verification.
Logic Colloquium 2023 - European Summer Meeting of the Association for Symbolic Logic, University of Milano, 5-9 June 2023, Book of Abstracts. https://lc2023.unimi.it/wp-content/uploads/2023/06/book-of-abstracts-LC2023.pdf. 2023 S. 9
Erscheinungsjahr: 2023
Titel des mehrbändigen Werkes: Logic Colloquium 2023 - European Summer Meeting of the Association for Symbolic Logic, University of Milano, 5-9 June 2023, Book of Abstracts
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik
