Berit Grußien
Publication Activity (10 Years)
Years Active: 2011-2019
Publications (10 Years): 6
Publications (10 Years): 6
Publications
- Berit Grußien
- Berit Grußien
- Berit Grußien
- Berit Grußien
- Berit Grußien
- Berit Grußien
- Hubie Chen, Víctor Dalmau, Berit Grußien
- Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner
- Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner
- Hubie Chen, Víctor Dalmau, Berit GrußienArc Consistency and Friends CoRR (2011)