Pavel Kalásek

Publication Activity (10 Years)

Years Active: 1980-1980
Publications (10 Years): 0

Publications

Petr Hájek, Pavel Kalásek, Petr Kurka
On dynamic logic. Kybernetika 16 (7) (1980)