guest ::
On the Satisfiability of Some Simple Probabilistic Logics
;
In
Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar, Seiten/Artikel-Nr: 56-65
2016
Online
DOI: 10.1145/2933575.2934526
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:000387609200006
SCOPUS: SCOPUS:2-s2.0-84994529683
OpenAlex: W2531137472
Interne Identnummern
RWTH-2016-11373
Datensatz-ID: 679769
Beteiligte Länder
Germany
Related:
Proceedings/Book
Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar
31. Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NYNew York, NY, USA, 5 Jul 2016 - 8 Jul 2016
New York, NY : ACM 1 Online-Ressource (901 Seiten) (2016) [10.1145/2933575]
BibTeX |
EndNote:
XML,
Text |
RIS
|
The record appears in these collections: |