Citation
Eleftherios Matsikoudis, Edward A. Lee. "An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals". 19th International Symposium on Fundamentals of Computation Theory (FCT), Liverpool, United Kingdom, 19, August, 2013.

Abstract
We consider spaces of linear signals equipped with the prefix relation and a suitably defined generalized ultrametric distance function. We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and prove a representation theorem stating that generalized ultrametric semilattices with totally ordered distance sets are isomorphic to such spaces of linear signals. It follows that the definition of generalized ultrametric semilattices with totally ordered distance sets captures all formal properties of such spaces.

Electronic downloads

• http://dx.doi.org/10.1007/978-3-642-40164-0_24

• HTML

  Eleftherios Matsikoudis, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/995.html"
  >An Axiomatization of the Theory of Generalized
  Ultrametric Semilattices of Linear Signals</a>, 19th
  International Symposium on Fundamentals of Computation
  Theory (FCT), Liverpool, United Kingdom, 19, August, 2013.

• Plain text

  Eleftherios Matsikoudis, Edward A. Lee. "An
  Axiomatization of the Theory of Generalized Ultrametric
  Semilattices of Linear Signals". 19th International
  Symposium on Fundamentals of Computation Theory (FCT),
  Liverpool, United Kingdom, 19, August, 2013.

• BibTeX

  @inproceedings{MatsikoudisLee13_AxiomatizationOfTheoryOfGeneralizedUltrametricSemilattices,
      author = {Eleftherios Matsikoudis and Edward A. Lee},
      title = {An Axiomatization of the Theory of Generalized
                Ultrametric Semilattices of Linear Signals},
      booktitle = {19th International Symposium on Fundamentals of
                Computation Theory (FCT), Liverpool, United Kingdom},
      day = {19},
      month = {August},
      year = {2013},
      abstract = {We consider spaces of linear signals equipped with
                the prefix relation and a suitably defined
                generalized ultrametric distance function. We
                introduce a new class of abstract structures,
                which we call generalized ultrametric
                semilattices, and prove a representation theorem
                stating that generalized ultrametric semilattices
                with totally ordered distance sets are isomorphic
                to such spaces of linear signals. It follows that
                the definition of generalized ultrametric
                semilattices with totally ordered distance sets
                captures all formal properties of such spaces.},
      URL = {http://chess.eecs.berkeley.edu/pubs/995.html}
  }
  

Posted by Eleftherios Matsikoudis on 26 Jun 2013.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.