Gast ::
Polynomial Loops: Beyond Termination
; ;
In
Proceedings of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Seiten/Artikel-Nr: 279-297
2020
Online
DOI: 10.29007/nxv1
Einrichtungen
- Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation) (121420)
- Graduiertenkolleg UnRAVeL (080060)
- Fachgruppe Informatik (120000)
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85096421873
Interne Identnummern
RWTH-2020-05743
Datensatz-ID: 791962
Beteiligte Länder
Germany
|
The record appears in these collections: |