%0 Thesis %1 phd/ethos/Coleman08 %A Coleman, Joseph William %D 2008 %K dblp %T Constructing a tractable reasoning framework upon a fine-grained structural operational semantics.

@phdthesis{phd/ethos/Coleman08, added-at = {2022-05-04T00:00:00.000+0200}, author = {Coleman, Joseph William}, biburl = {https://www.bibsonomy.org/bibtex/2d3490238d5a77d0c47a3428cd331b4a7/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.445587}, interhash = {bdaa7b05931001eed18d4f33ae2f578f}, intrahash = {d3490238d5a77d0c47a3428cd331b4a7}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Newcastle Upon Tyne, UK}, timestamp = {2024-04-09T08:50:01.000+0200}, title = {Constructing a tractable reasoning framework upon a fine-grained structural operational semantics.}, year = 2008 }