| 2007 |
|---|
| 16 | EE | Jirí Vyskocil,
Petr Stepánek:
Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.
MICAI 2007: 305-315 |
| 2004 |
|---|
| 15 | | Jan Hruza,
Petr Stepánek:
Speedup of Logic Programs by Binarization and Partial Deduction.
TPLP 4(3): 355-380 (2004) |
| 2003 |
|---|
| 14 | EE | Jan Hruza,
Petr Stepánek:
Speedup of Logic Programs by Binarization and Partial Deduction
CoRR cs.PL/0312026: (2003) |
| 2002 |
|---|
| 13 | EE | Petr Olmer,
Petr Stepánek:
Schema-Based Transformations of Logic Programs in lambda-Prolog.
ICLP 2002: 472 |
| 2000 |
|---|
| 12 | EE | Jan Hruza,
Petr Stepánek:
Binary Speed Up for Logic Programs.
Computational Logic 2000: 116-130 |
| 1992 |
|---|
| 11 | | Olga Stepánková,
Petr Stepánek:
Prolog: A Step towards the Future of Programming.
Advanced Topics in Artificial Intelligence 1992: 50-81 |
| 1989 |
|---|
| 10 | | Olga Stepánková,
Petr Stepánek:
AI Education and Logic.
Artificial Intelligence in Higher Education 1989: 199-205 |
| 9 | | Olga Stepánková,
Petr Stepánek:
Stratification of Definite Clause Programs and of General Logic Programs.
CSL 1989: 396-408 |
| 1988 |
|---|
| 8 | | Vít Ochozka,
Olga Stepánková,
Petr Stepánek:
Normal Forms and the Complexity of Computations of Logic Programs.
CSL 1988: 357-371 |
| 1987 |
|---|
| 7 | | Olga Stepánková,
Petr Stepánek:
Developing Logic Programs: Computing Through Normalizing.
CSL 1987: 304-321 |
| 1986 |
|---|
| 6 | | Petr Stepánek,
Olga Stepánková:
Logic Programs and Alternation.
ICLP 1986: 99-106 |
| 1984 |
|---|
| 5 | | Olga Stepánková,
Petr Stepánek:
Computation Trees and Transformations of Logic Programs.
ICLP 1984: 53-63 |
| 4 | | Olga Stepánková,
Petr Stepánek:
Transformations of Logic Programs.
J. Log. Program. 1(4): 305-318 (1984) |
| 1982 |
|---|
| 3 | | Jan Sebelík,
Petr Stepánek:
Graphs as Data in Prolog Programs.
ICLP 1982: 105-109 |
| 1978 |
|---|
| 2 | | Petr Stepánek:
Cardinal Collapsing and Ordinal Definability.
J. Symb. Log. 43(4): 635-642 (1978) |
| 1977 |
|---|
| 1 | | Petr Stepánek,
Bohuslav Balcar:
Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets.
J. Symb. Log. 42(1): 64-76 (1977) |
