Sriipriya G

According to our database, Sriipriya G authored at least 1 paper in 2013.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2013

Implementation methodology for using concurrent and collaborative approaches for theorem provers, with case studies of SAT and LCF style provers.

Sriipriya G

PhD thesis, 2013