Edit Profile (opens in new tab) Ramanarayanan, Ganesh Co-Author Distance Author ID: ramanarayanan.ganesh Published as: Ramanarayanan, Ganesh External Links: MGP Documents Indexed: 1 Publication since 2011 Co-Authors: 1 Co-Author with 1 Joint Publication 72 Co-Co-Authors Co-Authors 0 single-authored 1 Kozen, Dexter C. Serials Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Publication/citation: a proof-theoretic approach to mathematical knowledge management. Zbl 1314.68303 Kozen, Dexter; Ramanarayanan, Ganesh 1 2011 Publication/citation: a proof-theoretic approach to mathematical knowledge management. Zbl 1314.68303 Kozen, Dexter; Ramanarayanan, Ganesh 1 2011 Cited by 2 Authors 1 Aboul-Hosn, Kamal 1 Kozen, Dexter C. Cited in 1 Serial 1 Journal of Applied Non-Classical Logics Cited in 1 Field 1 Computer science (68-XX) Citations by Year