| Authors: | Stanković, Radomir Astola, Jaakko |
Title: | Contributions of Arto Salomaa to multiple-valued logic | Journal: | Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011 | First page: | 198 | Last page: | 204 | Conference: | 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011; Tuusula; Finland; 23 May 2011 through 25 May 2011 | Issue Date: | 18-Aug-2011 | ISBN: | 978-0-769-54405-2 | DOI: | 10.1109/ISMVL.2011.64 | 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. |
Publisher: | IEEE |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.