| SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory).

CoRR. Bd. abs/2107.02333. 2021

Erscheinungsjahr: 2021

Publikationstyp: Zeitschriftenaufsatz

Geprüft

Bibliothek

Autoren

Peuter, Dennis (Autor)

Marohn, Philipp (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)