Mennicke, Roy
Documents Indexed: | 5 Publications since 2012 |
Co-Authors: | 2 Co-Authors with 2 Joint Publications |
85 Co-Co-Authors |
Co-Authors
3 | single-authored |
2 | Bollig, Benedikt |
2 | Kuske, Dietrich |
Publications by Year
all
top 5
Cited by 14 Authors
Cited in 5 Serials
2 | Information and Computation |
1 | Journal of Computer and System Sciences |
1 | Formal Methods in System Design |
1 | Theory of Computing Systems |
1 | Journal of Applied Logic |
Cited in 2 Fields
8 | Computer science (68-XX) |
4 | Mathematical logic and foundations (03-XX) |