DC Field | Value | Language |
---|---|---|
dc.contributor.author | Stanković, Radomir | en |
dc.contributor.author | Astola, Jaakko | en |
dc.date.accessioned | 2020-05-01T20:29:10Z | - |
dc.date.available | 2020-05-01T20:29:10Z | - |
dc.date.issued | 2011-08-18 | en |
dc.identifier.isbn | 978-0-769-54405-2 | en |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2057 | - |
dc.description.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. | en |
dc.publisher | IEEE | - |
dc.relation.ispartof | Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011 | en |
dc.title | Contributions of Arto Salomaa to multiple-valued logic | en |
dc.type | Conference Paper | en |
dc.relation.conference | 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011; Tuusula; Finland; 23 May 2011 through 25 May 2011 | - |
dc.identifier.doi | 10.1109/ISMVL.2011.64 | en |
dc.identifier.scopus | 2-s2.0-80051658220 | en |
dc.relation.firstpage | 198 | en |
dc.relation.lastpage | 204 | en |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Conference Paper | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.