http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time
Pakusa, Wied (Corresponding author)RWTH* ; Schalthöfer, Svenja (Corresponding author)RWTH* ; Selman, Aziz Erkal (Corresponding author)RWTH*
In
Computer science logic 2016 : CSL 2016, August 29 to September 1, 2016, Marseille, France / edited by Laurent Regnier, Jean-Marc Talbot, Seiten/Artikel-Nr: 19:1-19:17
2016
Konferenz/Event:Computer science logic 2016
, Marseille , France , CSL 2016 , 2016-08-29 - 2016-09-01
ImpressumSaarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Umfang19:1-19:17
ISBN978-3-95977-022-4
ReiheLeibniz international proceedings in informatics : LIPIcs ; 62
Online
DOI: 10.4230/LIPIcs.CSL.2016.19
10.4230/LIPIcs.CSL.2016.19
DOI: 10.18154/RWTH-CONV-211653
URL: http://publications.rwth-aachen.de/record/680731/files/680731.pdf
URL: http://publications.rwth-aachen.de/record/680731/files/680731.pdf?subformat=pdfa
Einrichtungen
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) (117220)
- Fachgruppe Mathematik (110000)
- Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) (122910)
- Fachgruppe Informatik (120000)
OpenAccess:
PDF
PDF (PDFA)
Dokumenttyp
Contribution to a conference proceedings/Contribution to a book
Format
print, online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85012919467
Interne Identnummern
RWTH-CONV-211653
Datensatz-ID: 680731
Beteiligte Länder
Germany
