Statistics
Publications
5
Citations
156
H-Index
5
Active since
1987
Affiliations
University of Kaiserslautern(Current)
Alexander Herold is an author at University of Kaiserslautern specializing in unification, formal methods, and computer science.
Publications per year
1987–1992
5
5
Opening the AC-unification race
Alexander Herold, Deepak Kapur, Mark E. Stickel et al. · Journal of Automated Reasoning · 1988 · 40 citations · Full text
Constraint logic programming – an informal introduction
Thom Frühwirth, Alexander Herold, Volker Küchenhoff et al. · 1992 · 24 citations
Alexander Herold, Jörg H. Siekmann · 1987 · 10 citations
1–5 of 5