German Martin Hofmann (Informatiker) Cited by user DerSpezialist on 14 Oct 2019 Martin Hofmann (* 9. November 1965 in Erlangen; † 23. Januar 2018 am Nikko Shirane, Japan) war ein deutscher Informatiker und Hochschullehrer.
German Rabin-Automat Cited by user MichaelSchoenitzer on 03 Feb 2017 Der Rabin-Automat ist eine spezielle Form des ω-Automaten. Sie sind benannt nach ihrem Erfinder Michael O.