Petr Stepnek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
1982–2020
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | HCI | Smart City Through Design: Preparation of a New Wayfinding System in Prague. | Petr Stepnek |
| 2011 | TABLEAUX | MaLeCoP Machine Learning Connection Prover. | Josef Urban, Jir Vyskocil, Petr Stepnek |
| 2002 | ICLP | Schema-Based Transformations of Logic Programs in lambda-Prolog. | Petr Olmer, Petr Stepnek |
| 1989 | CSL | Stratification of Definite Clause Programs and of General Logic Programs. | Olga Stepnkov, Petr Stepnek |
| 1988 | CSL | Normal Forms and the Complexity of Computations of Logic Programs. | Vt Ochozka, Olga Stepnkov, Petr Stepnek |
| 1987 | CSL | Developing Logic Programs: Computing Through Normalizing. | Olga Stepnkov, Petr Stepnek |
| 1986 | ICLP | Logic Programs and Alternation. | Petr Stepnek, Olga Stepnkov |
| 1984 | ICLP | Computation Trees and Transformations of Logic Programs. | Olga Stepnkov, Petr Stepnek |
| 1982 | ICLP | Graphs as Data in Prolog Programs. | Jan Sebelk, Petr Stepnek |