Statistics
Publications
2
Citations
51
H-Index
2
Active since
1993
Affiliations
Concordia University(Current)
Ramayya Kumar is an author at Concordia University specializing in proof theory, automated theorem proving, and formal methods.
Publications per year
1993–1998
2
2
1–2 of 2