Travelled to:
1 × Norway
Collaborated with:
∅ M.Grohe A.Hernich B.Laubner
Talks about:
logarithm (2) space (2) polynomi (1) chordal (1) recurs (1) captur (1) logic (1) graph (1) time (1) free (1)
Person: Berit Grußien
DBLP: Gru=szlig=ien:Berit
Contributed to:
Wrote 2 papers:
- CSL-2011-GroheGHL #logic #recursion
- L-Recursion and a new Logic for Logarithmic Space (MG, BG, AH, BL), pp. 277–291.
- CSL-2017-Grussien #graph #polynomial
- Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs (BG), p. 19.