Rawle C. S. Prince

Orcid: 0009-0005-2974-2045

According to our database¹, Rawle C. S. Prince authored at least 3 papers between 2008 and 2016.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2016

Meta-Analytic Framework for Efficiently Identifying Progression Groups in Highway Condition Analysis.

[DOI]

J. Comput. Civ. Eng., 2016

2011

Aspects of the theory of containers within automated theorem proving.

[DOI]

PhD thesis, 2011

2008

Proving Properties about Lists Using Containers.

[DOI]

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008