Travelled to:1 × Denmark
1 × France
1 × Sweden
2 × United Kingdom
3 × Germany
Collaborated with:O.Stepánková P.Olmer J.Hruza J.Sebelík V.Ochozka
Talks about:program (9) logic (7) comput (3) transform (2) prolog (2) normal (2) stratif (1) general (1) develop (1) definit (1)
Person: Petr Stepánek
DBLP: Step=aacute=nek:Petr
Contributed to:
2002
2000
198919881987198619841982Wrote 8 papers:
- ICLP-2002-OlmerS #logic programming #prolog #source code
- Schema-Based Transformations of Logic Programs in λ-Prolog (PO, PS), p. 472.
- CL-2000-HruzaS #logic programming #source code
- Binary Speed Up for Logic Programs (JH, PS), pp. 116–130.
- CSL-1989-StepankovaS #logic programming #source code
- Stratification of Definite Clause Programs and of General Logic Programs (OS, PS), pp. 396–408.
- CSL-1988-OchozkaSS #complexity #logic programming #normalisation #source code
- Normal Forms and the Complexity of Computations of Logic Programs (VO, OS, PS), pp. 357–371.
- CSL-1987-StepankovaS #logic programming #normalisation #source code
- Developing Logic Programs: Computing Through Normalizing (OS, PS), pp. 304–321.
- ICLP-1986-StepanekS86 #logic programming #source code
- Logic Programs and Alternation (PS, OS), pp. 99–106.
- ILPC-1984-StepankovaS84 #logic programming #source code
- Computation Trees and Transformations of Logic Programs (OS, PS), pp. 53–63.
- ILPC-1982-SebelikS82 #graph #prolog #source code
- Graphs as Data in Prolog Programs (JS, PS), pp. 105–109.