Author Info
Name
Affiliation
Papers
MORTEN BIEHL
BRICS , University of Aarhus
2
Collaborators
Citations 
PageRank 
2
33
2.89
Referers 
Referees 
References 
61
20
10
Title
Citations
PageRank
Year
Algorithms for Guided Tree Automata251.971996
Mona: Decidable Arithmetic in Practice80.921996