Skip to content

Vt Ochozka

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

1988–1988

Best venue rank

B

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
1988CSLNormal Forms and the Complexity of Computations of Logic Programs.Vt Ochozka, Olga Stepnkov, Petr Stepnek