Václav Vlcek

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Fundamental Issues

Computational Issues

Desirable Properties

Top Venues

Publications

Martin Babka, Tomás Balyo, Ondrej Cepek, Stefan Gurský, Petr Kucera, Václav Vlcek
Complexity issues related to propagation completeness. Artif. Intell. 203 (2013)
Václav Vlcek, Tomás Balyo, Stefan Gurský, Petr Kucera
On hierarchies over the SLUR class. ISAIM (2012)
Ondrej Cepek, Petr Kucera, Václav Vlcek
Properties of SLUR Formulae. SOFSEM (2012)