On hierarchical symbol elimination and applications
https://www.ailalogica.it/incontro2022/abstracts/Sofronie-stokkermans.pdf. 2022 2 S.
Erscheinungsjahr: 2022
Titel des mehrbändigen Werkes: XXVII Incontro di Logica (AILA 2022)
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Inhaltszusammenfassung
This is a 2-page abstract of an invited talk entitled "On hierarchical symbol elimination and applications" presented at AILA 2022, Caserta, Italy.
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik
