Berit Grußien

According to our database, Berit Grußien authored at least 5 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion

Berit Grußien

PhD thesis, 2017

Capturing polynomial time using Modular Decomposition.

Berit Grußien

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs.

Berit Grußien

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2013

Arc consistency and friends.

Hubie Chen, Víctor Dalmau, Berit Grußien

J. Log. Comput., 2013

2011

L-Recursion and a new Logic for Logarithmic Space.

Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner

Proceedings of the Computer Science Logic, 2011