Schaarschmidt, Wolf
Documents Indexed: | 1 Publication since 1997 |
Co-Authors: | 12 Co-Authors with 1 Joint Publication |
253 Co-Co-Authors |
all
top 5
Co-Authors
Serials
Fields
1 | Computer science (68-XX) |
Publications by Year
all
top 5
Cited by 22 Authors
all
top 5
Cited in 6 Serials
2 | Journal of Symbolic Computation |
2 | Journal of Applied Logic |
1 | Artificial Intelligence |
1 | Information Sciences |
1 | Journal of Automated Reasoning |
1 | The Journal of Logic and Algebraic Programming |
Cited in 2 Fields
10 | Computer science (68-XX) |
2 | Mathematical logic and foundations (03-XX) |