Kai Salomaa

http://dbpedia.org/resource/Kai_Salomaa an entity of type: Thing

Kai T. Salomaa is a Finnish Canadian theoretical computer scientist, known for his numerous contributions to the state complexity of finite automata.His highly cited 1994 joint paper with and Zhuanglaid the foundations of the area.He has published over 100 papers in scientific journals on various subjects in formal language theory. Salomaa is a full professor at Queen's University (Kingston, Ontario). rdf:langString
rdf:langString Kai Salomaa
rdf:langString Kai Salomaa
rdf:langString Kai Salomaa
xsd:integer 53521472
xsd:integer 1032041586
rdf:langString Alternation and Pushdown Stores in Computations of Tree Automata
xsd:integer 1989
rdf:langString Kai T. Salomaa is a Finnish Canadian theoretical computer scientist, known for his numerous contributions to the state complexity of finite automata.His highly cited 1994 joint paper with and Zhuanglaid the foundations of the area.He has published over 100 papers in scientific journals on various subjects in formal language theory. Salomaa is a full professor at Queen's University (Kingston, Ontario).
rdf:langString
rdf:langString Magnus Steinby
xsd:nonNegativeInteger 4126
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
<http://www.wikidata.org/entity/Q901>
<http://commons.wikimedia.org/wiki/Special:FilePath/Kai_Salomaa.jpg>
<http://dbpedia.org/resource/Finland>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:Finnish_expatriates_in_Canada>
<http://dbpedia.org/resource/Category:Queen's_University_at_Kingston_faculty>
<http://dbpedia.org/resource/Category:University_of_Turku_alumni>
<http://dbpedia.org/resource/Category:Canadian_computer_scientists>
<http://dbpedia.org/resource/Category:People_from_Turku>
<http://dbpedia.org/resource/Category:Finnish_computer_scientists>
<http://dbpedia.org/resource/Queen's_University_at_Kingston>
<http://dbpedia.org/resource/Ronald_V._Book>
<http://dbpedia.org/resource/University_of_Western_Ontario>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:Finnish_expatriates_in_Canada>
<http://dbpedia.org/resource/Theoretical_computer_science>
<http://dbpedia.org/resource/Category:Queen's_University_at_Kingston_faculty>
<http://dbpedia.org/resource/Category:University_of_Turku_alumni>
<http://dbpedia.org/resource/University_of_Turku>
<http://dbpedia.org/resource/Finnish_Canadians>
<http://dbpedia.org/resource/Formal_language_theory>
<http://dbpedia.org/resource/Formal_languages>
<http://dbpedia.org/resource/State_complexity>
<http://dbpedia.org/resource/Arto_Salomaa>
<http://dbpedia.org/resource/Category:Canadian_computer_scientists>
<http://dbpedia.org/resource/Category:People_from_Turku>
<http://dbpedia.org/resource/Category:Finnish_computer_scientists>
<http://dbpedia.org/resource/Automata_theory>
<http://dbpedia.org/resource/Kingston,_Ontario>
<http://dbpedia.org/resource/Finite_automata>
<http://dbpedia.org/resource/Sheng_Yu_(computer_scientist)>
<http://yago-knowledge.org/resource/Kai_Salomaa>
<https://dblp.org/pid/02/6009>
<http://viaf.org/viaf/93087664>
<http://www.wikidata.org/entity/Q28968124>
<https://global.dbpedia.org/id/2gRph>
<http://dbpedia.org/resource/Queen's_University_at_Kingston>
<http://dbpedia.org/resource/Template:DBLP>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:Flag>
<http://dbpedia.org/resource/Template:Official_website>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:MathGenealogy>
<http://dbpedia.org/resource/Template:Infobox_scientist>
<http://commons.wikimedia.org/wiki/Special:FilePath/Kai_Salomaa.jpg?width=300>
<http://dbpedia.org/resource/University_of_Turku>
<http://dbpedia.org/resource/Automata_theory>
<http://dbpedia.org/resource/Formal_language_theory>
<http://dbpedia.org/resource/State_complexity>
<http://dbpedia.org/resource/Ronald_V._Book>
<http://dbpedia.org/resource/Ronald_V._Book>
<http://en.wikipedia.org/wiki/Kai_Salomaa?oldid=1032041586&ns=0>
<http://dbpedia.org/resource/Automata_theory>
<http://dbpedia.org/resource/University_of_Turku>
<http://dbpedia.org/resource/Formal_language_theory>
<http://dbpedia.org/resource/State_complexity>
<http://dbpedia.org/resource/Canada>
<http://en.wikipedia.org/wiki/Kai_Salomaa>

data from the linked data cloud