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) |
