Author Info
Name
Affiliation
Papers
PATRICIA JOHANN
Hobart and William Smith Colleges, Geneva, NY
1
Collaborators
Citations 
PageRank 
1
1
0.43
Referers 
Referees 
References 
3
9
7
Title
Citations
PageRank
Year
A combinatory logic approach to higher-order E-unification10.431995