Pure Mathematics: Recent submissions
Now showing items 36-40 of 90
-
Equilibrium states, pressure and escape for multimodal maps with holes
(2017-09) - Journal articleFor a class of non-uniformly hyperbolic interval maps, we study rates of escape with respect to conformal measures associated with a family of geometric potentials. We establish the existence of physically relevant ... -
Commutativity and free products in Thompson's group V
(University of St Andrews, 2018-06-26) - ThesisWe broaden the theory of dynamical interpretation, investigate the property of commutativity and explore the subject of subgroups forming free products in Thompson's group V. We expand Brin's terminology for a revealing ... -
Proof search issues in some non-classical logics
(University of St Andrews, 1999) - ThesisThis thesis develops techniques and ideas on proof search. Proof search is used with one of two meanings. Proof search can be thought of either as the search for a yes/no answer to a query (theorem proving), or as the ... -
The construction of finite soluble factor groups of finitely presented groups and its application
(University of St Andrews, 1992) - ThesisComputational group theory deals with the design, analysis and computer implementation of algorithms for solving computational problems involving groups, and with the applications of the programs produced to interesting ... -
Counting subwords and other results related to the generalised star-height problem for regular languages
(University of St Andrews, 2017-12-07) - ThesisThe Generalised Star-Height Problem is an open question in the field of formal language theory that concerns a measure of complexity on the class of regular languages; specifically, it asks whether or not there exists an ...