Author Info
Name
Affiliation
Papers
OLAF MÜLLER
Institut für Informatik, Technische Universität München, D-80290 München, Germany
1
Collaborators
Citations 
PageRank 
3
10
0.65
Referers 
Referees 
References 
21
0
0
Title
Citations
PageRank
Year
HOLCF = HOL + LCF100.651999