; ;
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: 397-406
2016
Online
DOI: 10.1145/2933575.2934517
Einrichtungen
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-84994607763
WOS Core Collection: WOS:000387609200040
OpenAlex: W2475308370
Interne Identnummern
RWTH-2016-08175
Datensatz-ID: 672609
Beteiligte Länder
Germany
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: |