Statistics
Publications
2
Citations
56
H-Index
2
Active since
1997
Affiliations
Anavai Ramesh is an author at University at Albany, State University of New York.
Publications per year
1997–1997
2
2
Fast Subsumption Checks Using Anti-Links
Anavai Ramesh, Bernhard Beckert, Reiner Hähnle et al. · Journal of Automated Reasoning · 1997 · 10 citations
1–2 of 2