Scheben, Christoph
Documents Indexed: | 2 Publications since 2006 |
Co-Authors: | 5 Co-Authors with 1 Joint Publication |
79 Co-Co-Authors |
Co-Authors
1 | single-authored |
1 | Beckert, Bernhard |
1 | Bruns, Daniel |
1 | Klebanov, Vladimir |
1 | Schmitt, Peter H. |
1 | Ulbrich, Mattias |
Serials
Publications by Year
all
top 5
Cited by 6 Authors
1 | de Boer, Frank S. |
1 | De Gouw, Stijn |
1 | Klebanov, Vladimir |
1 | Rot, Jurriaan |
1 | Rümmer, Philipp |
1 | Ulbrich, Mattias |
Cited in 2 Serials
1 | Journal of Automated Reasoning |
1 | Formal Methods in System Design |
Cited in 2 Fields
2 | Computer science (68-XX) |
1 | Mathematical logic and foundations (03-XX) |