Rawle C. S. Prince

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

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

Rawle C. S. Prince, Matthew Byrne, Tony Parry

J. Comput. Civ. Eng., 2016

2011

Aspects of the theory of containers within automated theorem proving.

Rawle C. S. Prince

PhD thesis, 2011

2008

Proving Properties about Lists Using Containers.

Rawle C. S. Prince, Neil Ghani, Conor McBride

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