The SCEAS System
Navigation Menu

Search the dblp DataBase


Petr Stepánek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.005secs, Finished in 0.006secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002