Aspects of the theory of containers within automated theorem proving

Aspects of the theory of containers within automated theorem proving

This thesis explores applications of the theory of containers within automated theorem proving. Container theory provides a foundational analysis of data types as containers, specified by a type $S$ of shapes and a function P assigning to each shape its set of positions for data.More importantly, a...

Full description

Bibliographic Details
Main Author: Prince, Rawle C.S.
Format: Thesis (University of Nottingham only)
Language:English
Published: 2011
Online Access:https://eprints.nottingham.ac.uk/11793/

Similar Items

Similar Items