Svenja Schalthöfer und Computer Science - Info zur Person

(1 - 6 von 8

)

MGI - Publikationen: Svenja Schalthöfer

logic.rwth-aachen.de

E. Grädel and S. Schalthöfer. Choiceless Logarithmic Space. In 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) ...

dblp: Svenja Schalthöfer

dblp.uni-trier.de

List of computer science publications by Svenja Schalthöfer

MGI - Mathematische Grundlagen der Informatik

logic.rwth-aachen.de

The research group on Mathematical Foundations of Computer Science is part of the ... Svenja Schalthöfer has been awarded the Friedrich ... RWTH Aachen ...

dblp: Lukasz Kaiser

dblp.uni-trier.de

List of computer science publications by Lukasz Kaiser

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

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, ...