×

zbMATH — the first resource for mathematics

Edit Profile

Hutter, Dieter

Compute Distance To:
Author ID: hutter.dieter
Published as: Hutter, Dieter
External Links: ORCID
Documents Indexed: 26 Publications since 1986, including 3 Books
all top 5

Co-Authors

4 single-authored
10 Autexier, Serge
5 Schairer, Axel
5 Stephan, Werner
3 Mantel, Heiko
3 Mossakowski, Till
2 Kohlhase, Michael
2 Langenstein, Bruno
2 Monroy, Raúl
2 Rock, Georg
2 Vogt, Roland
1 Basin, David A.
1 Bundy, Alan
1 Godínez, Fernando
1 Ireland, Andrew
1 Müller, Günter
1 Schaefer, Ina
1 Sengler, Claus
1 Siekmann, Jörg H.
1 Ullmann, Markus
1 Wolpers, Andreas
all top 5

Serials

2 Journal of Automated Reasoning
2 Lecture Notes in Computer Science
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Annals of Mathematics and Artificial Intelligence
1
1 The Journal of Logic and Algebraic Programming
1 Journal of Applied Logic

Fields

25 Computer science (68-XX)
7 Mathematical logic and foundations (03-XX)
2 General and overarching topics; collections (00-XX)
2 Information and communication theory, circuits (94-XX)
1 History and biography (01-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription