; ;
In
ACM transactions on computational logic : TOCL 19(2), Seiten/Artikel-Nr.:10
2018
Online
DOI: 10.1145/3173545
Einrichtungen
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:000439733900004
SCOPUS: SCOPUS:2-s2.0-85061210337
OpenAlex: W2802858733
Interne Identnummern
RWTH-2018-227066
Datensatz-ID: 730755
Beteiligte Länder
Germany, USA
|
The record appears in these collections: |