Svenja Schalthöfer

Orcid: 0009-0002-1407-1187

According to our database1, Svenja Schalthöfer authored at least 4 papers between 2015 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Choiceless computation and logic.
PhD thesis, 2019

Choiceless Logarithmic Space.
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2018
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time.
ACM Trans. Comput. Log., 2018

2015
Characterising Choiceless Polynomial Time with First-Order Interpretations.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015


  Loading...