Artikel in einem Konferenzbericht,

Finite model theory of the triguarded fragment and related logics

, und .
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, (Juni 2021)

Metadaten

Tags

    Nutzer

    • @scadsfct

    Kommentare und Rezensionen