Browsing by Author "Amaldev Manuel"

Browsing by Author "Amaldev Manuel"

Sort by: Order: Results:

  • Amaldev Manuel (, 2012-07-05)
    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 ...