guest ::
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
; ; ;
In
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science / Edited by Christel Baier, Seiten/Artikel-Nr: 41, 1-12
2022
Weitere Reihe: ACM digital library
Online
DOI: 10.1145/3531130.3533358
Einrichtungen
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) (117220)
- Fachgruppe Mathematik (110000)
- Lehr- und Forschungsgebiet Informatik 5 (Wissensbasierte Systeme) (121920)
- 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-85136966481
Interne Identnummern
RWTH-2022-08243
Datensatz-ID: 852648
Beteiligte Länder
Germany
Related:
Preprint
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
30 Seiten (2022) [10.48550/arXiv.2203.03425]
Files Fulltext by arXiv.org
BibTeX |
EndNote:
XML,
Text |
RIS
