; ; ;
In
Logical methods in computer science 22(2), Seiten/Artikel-Nr.:0
2026
Hefttitel: Selected Papers of the 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
Online
DOI: 10.46298/lmcs-22(2:33)2026
Einrichtungen
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Interne Identnummern
RWTH-2026-06334
Datensatz-ID: 1038170
|
The record appears in these collections: |