• DocumentCode
    3642329
  • Title

    Contributions of Arto Salomaa to Multiple-Valued Logic

  • Author

    Radomir S. Stankovic;Jaakko T. Astola

  • Author_Institution
    Fac. of Electron., Dept. of Comput. Sci., Univ. of Nis, Nis, Serbia
  • fYear
    2011
  • fDate
    5/1/2011 12:00:00 AM
  • Firstpage
    198
  • Lastpage
    204
  • Abstract
    In scientific community, especially among mathematicians and computer scientists, Arto Salomaa is renowned as a founder of Automata Theory and Formal Languages. It is however less widely known that Salomaa started his research work in the area of multiple-valued logic, where he received his PhD degree in 1960 from the University of Turku, Finland. In this way, research in multiple-valued logic provided foundations for later work of Professor Salomaa. The paper presents a short summary of the work of Arto Salomaa in multiple-valued logic.
  • Keywords
    "Distance measurement","Calculus","Generators","Boolean functions","Bioinformatics"
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on
  • ISSN
    0195-623X
  • Print_ISBN
    978-1-4577-0112-2
  • Type

    conf

  • DOI
    10.1109/ISMVL.2011.64
  • Filename
    5954233