Zinn, Claus
Author ID: | zinn.claus |
Published as: | Zinn, Claus |
External Links: | MGP |
Documents Indexed: | 5 Publications since 1997, including 1 Book |
Co-Authors: | 3 Co-Authors with 2 Joint Publications |
4 Co-Co-Authors |
Co-Authors
3 | single-authored |
1 | Core, Mark G. |
1 | Ehrensberger, Jürgen |
1 | Moore, Johanna D. |
Publications by Year
all
top 5
Cited by 11 Authors
2 | Kaliszyk, Cezary |
2 | Urban, Josef |
2 | Vyskočil, Jiří |
1 | Cairns, Paul |
1 | Cramer, Marcos |
1 | Gow, Jeremy |
1 | Koepke, Peter |
1 | Kühlwein, Daniel |
1 | Ranta, Aarne |
1 | Schröder, Bernhard |
1 | Zinn, Claus |
Cited in 2 Serials
1 | Journal of Automated Reasoning |
1 | Journal of Applied Logic |
Cited in 2 Fields
6 | Computer science (68-XX) |
1 | Mathematical logic and foundations (03-XX) |