Svenja Schalthöfer und Choiceless Polynomial - Info zur Person

(1 - 9 von 11

)

Lower bounds for Choiceless Polynomial Time via Symmetric ...arXiv

arxiv.org

von B Pago · — Wied Pakusa, Svenja Schalthöfer, and Erkal Selman. Definability of Cai-Fürer-Immerman problems in Choiceless Polynomial Time. › pdf

Program AlMoTh 2016, Siegen, March 3-4, 2016Uni Siegen

www.eti.uni-siegen.de

Svenja Schalthöfer. RWTH Aachen. Definability of Cai-Fürer-Immerman Problems in. Choiceless Polynomial Time. 10:00–10:30. Christoph Berkholz. HU Berlin. › almoth_2016

dblp: Characterising Choiceless Polynomial Time with First-Order...

dblp.org

Bibliographic details on Characterising Choiceless Polynomial Time with First-Order Interpretations.

25th EACSL Annual Conference on Computer Science Logic ...researchr.org

researchr.org

[doi] · Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial TimeWied Pakusa, Svenja Schalthöfer, Erkal Selman. › csl-2016

Witnessed Symmetric Choice and Interpretations in Fixed ...DeepAI

deepai.org

— [29] Wied Pakusa, Svenja Schalthöfer, and Erkal Selman. Definability of Cai-Fürer-Immerman problems in choiceless polynomial time. › publication › witnessed-symmetric-c...

[PDF] Characterising Choiceless Polynomial Time with First-Order...

www.semanticscholar.org

Semantic Scholar extracted view of

th Annual ACM/IEEE Symposium on Logic in Computer Science LICS Table...

docplayer.net

... Joël Ouaknine, and James Worrell Characterising Choiceless Polynomial Time with First-Order Interpretations Erich Grädel, Wied Pakusa, Svenja Schalthöfer, ...

Alle Infos zum Namen "Svenja Schalthöfer"

Verwandte Suchanfragen zu Svenja Schalthöfer

Frederic Reinhardt
Thiemo Leonhardt
Erich Grädel

Marlin Frickenschmidt
Christoph Berkholz
Manfred Nagl

Francesca Gulinatti
Sabrina Bianca Rust
Osman Logoglu

Personen
Vorname "Svenja" (9258)
Name "Schalthöfer" (20)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Svenja Schalthöfer und Choiceless Polynomial Person-Info