Rawle C. S. Prince

Orcid: 0009-0005-2974-2045

According to our database1, Rawle C. S. Prince authored at least 2 papers between 2008 and 2011.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Aspects of the theory of containers within automated theorem proving.
PhD thesis, 2011

2008
Proving Properties about Lists Using Containers.
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008


  Loading...