Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time
Talbot, Jean-Marc; Regnier, Laurent (Hrsg). 25th EACSL Annual Conference on Computer Science Logic. Dagstuhl. 2016 S. 1 - 17 (Leibniz International Proceedings in Informatics)
Erscheinungsjahr: 2016
ISBN/ISSN: 978-3-95977-022-4
Publikationstyp: Buchbeitrag
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DDC Sachgruppe:
Mathematik
