; ;
In
ACM transactions on computational logic : TOCL 23(1), Seiten/Artikel-Nr.:1-31
2021
Online
DOI: 10.1145/3417515
Einrichtungen
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Journal Article
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85124023092
WOS Core Collection: WOS:000935331200001
OpenAlex: W2951111775
Interne Identnummern
RWTH-2023-02879
Datensatz-ID: 954028
Beteiligte Länder
Germany
|
The record appears in these collections: |