A machine characterization of quantification and primitive recursion with applications to low level complexity classes

Bibliographic Details
Main Author: Hicks, John
Published: University of Oxford 1982
Subjects:
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.354835
id ndltd-bl.uk-oai-ethos.bl.uk-354835
record_format oai_dc
spelling ndltd-bl.uk-oai-ethos.bl.uk-3548352015-03-19T10:43:59ZA machine characterization of quantification and primitive recursion with applications to low level complexity classesHicks, John1982519.5StatisticsUniversity of Oxfordhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.354835Electronic Thesis or Dissertation
collection NDLTD
sources NDLTD
topic 519.5
Statistics
spellingShingle 519.5
Statistics
Hicks, John
A machine characterization of quantification and primitive recursion with applications to low level complexity classes
author Hicks, John
author_facet Hicks, John
author_sort Hicks, John
title A machine characterization of quantification and primitive recursion with applications to low level complexity classes
title_short A machine characterization of quantification and primitive recursion with applications to low level complexity classes
title_full A machine characterization of quantification and primitive recursion with applications to low level complexity classes
title_fullStr A machine characterization of quantification and primitive recursion with applications to low level complexity classes
title_full_unstemmed A machine characterization of quantification and primitive recursion with applications to low level complexity classes
title_sort machine characterization of quantification and primitive recursion with applications to low level complexity classes
publisher University of Oxford
publishDate 1982
url http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.354835
work_keys_str_mv AT hicksjohn amachinecharacterizationofquantificationandprimitiverecursionwithapplicationstolowlevelcomplexityclasses
AT hicksjohn machinecharacterizationofquantificationandprimitiverecursionwithapplicationstolowlevelcomplexityclasses
_version_ 1716776454918766592