Tews, Hendrik
Documents Indexed: | 7 Publications since 2000 |
Co-Authors: | 4 Co-Authors with 2 Joint Publications |
89 Co-Co-Authors |
Co-Authors
5 | single-authored |
1 | Jacobs, Bart |
1 | Rothe, Jan |
1 | Völp, Marcus |
1 | Weber, Tjark |
Serials
1 | Journal of Automated Reasoning |
1 | RAIRO. Theoretical Informatics and Applications |
1 | Journal of Universal Computer Science |
Publications by Year
all
top 5
Cited by 38 Authors
Cited in 5 Serials
4 | Theoretical Computer Science |
2 | RAIRO. Theoretical Informatics and Applications |
2 | The Journal of Logic and Algebraic Programming |
1 | Journal of Philosophical Logic |
1 | Journal of Automated Reasoning |
all
top 5