When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
By Krzysztof R. Apt, Amir Pnueli, Ernst-Rüdiger Olderog, Frank S. de Boer. Krzysztof R. Apt received his PhD in 1974 in mathematical logic from the University of Warsaw in Poland. He is a senior researcher at CWI, Amsterdam and Professor of Computer Science at the University of Amsterdam.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.