Ernst–Erich Doberkat

39 papers and 160 indexed citations i.

Ernst–Erich Doberkat has authored 39 papers that have received a total of 160 indexed citations. This includes 27 papers in Artificial Intelligence, 24 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (17 papers), Logic, programming, and type systems (13 papers) and Advanced Algebra and Logic (12 papers). Ernst–Erich Doberkat is often cited by papers focused on Logic, Reasoning, and Knowledge (17 papers), Logic, programming, and type systems (13 papers) and Advanced Algebra and Logic (12 papers) and collaborates with scholars based in Germany, Italy and United States. Ernst–Erich Doberkat's co-authors include Eugenio G. Omodeo, Claus Pahl, Wilhelm Hasselbring, Alexander Kurz and Gregor Engels and has published in prestigious journals such as Journal of Mathematical Analysis and Applications, SIAM Journal on Computing and Theoretical Computer Science.