| SciPort RLP

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

Symbol Elimination and Applications to Parametric Entailment Problems (Abstract).

SOQE@KR. 2021 S. 83 - 91

Erscheinungsjahr: 2021

Publikationstyp: Buchbeitrag (Konferenzbeitrag)

Website

Geprüft:

Bibliothek

Autoren

Peuter, Dennis (Autor)

Sofronie-Stokkermans, Viorica (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Mitarbeiter/in
(Institut für Informatik)

Beteiligte Einrichtungen

Institut für Informatik
(Universität Koblenz)