Amaldev Manuel
(The Institute of Mathematical Sciences, 2012)
This thesis takes shape in the ongoing study of automata and logics for data words - finite words labelled with elements from an infinite alphabet. The notion of data words is a natural way for modelling unboundedness ...