Vít Ochozka

Publication Activity (10 Years)

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

Publications

Vít Ochozka, Olga Stepánková, Petr Stepánek
Normal Forms and the Complexity of Computations of Logic Programs. CSL (1988)