×
Edit Profile (opens in new tab)

Schaarschmidt, Wolf

Co-Author Distance
Author ID: schaarschmidt.wolf Recent zbMATH articles by "Schaarschmidt, Wolf"
Published as: 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

0 single-authored
1 Benzmüller, Christoph Ewald
1 Cheikhrouhou, Lassaad
1 Fehrer, Detlef
1 Fiedler, Armin
1 Huang, Xiaorong
1 Kerber, Manfred
1 Kohlhase, Michael
1 Konrad, Karsten
1 Meier, Andreas
1 Melis, Erica
1 Siekmann, Jörg H.
1 Sorge, Volker

Serials

Fields

1 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

1 Publications have been cited 10 times in 10 Documents Cited by ▼ Year ▼
\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker
10
1997
\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker
10
1997
all cited Publications top 5 cited Publications
all top 5

Cited by 22 Authors

2 Kaliszyk, Cezary
1 Bradley, Elizabeth
1 Brauburger, Jürgen
1 Delahaye, David
1 Fehrer, Detlef
1 Franke, Andreas
1 Gauthier, Thibault
1 Hogan, Apollo
1 Horacek, Helmut
1 Kohlhase, Michael
1 Kolbe, Thomas H.
1 Kumar, Ramana
1 Lyaletski, Alexander V.
1 Mayero, Micaela
1 Melis, Erica
1 Norrish, Michael
1 Paskevich, Andrei
1 Siekmann, Jörg H.
1 Stolle, Reinhard
1 Urban, Josef
1 Verchinine, Konstantin
1 Zinn, Claus
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)

Citations by Year