Lists, Taxonomies, Lattices, Thesauri and Ontologies: Paving a Pathway Through a Terminological Jungle
Vreda Pieterse, Derrick G. Kourie · KNOWLEDGE ORGANIZATION · 2014
He has a general interest in algorithmics, and has co-authored a book on the topic of correctness-by-construction as a means of algorithm derivation.In addition, he has an interest in the use of formal concept analysis as a means of classification, as well as in the development and deployment of finite automata technology.