guest ::
Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings
; ;
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: 227-236
2016
Online
DOI: 10.1145/2933575.2934504
Einrichtungen
- Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) (122910)
- 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:000387609200023
SCOPUS: SCOPUS:2-s2.0-84994667371
OpenAlex: W2530218450
Interne Identnummern
RWTH-2016-11367
Datensatz-ID: 679762
Beteiligte Länder
France, 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: |