Travelled to:1 × Sweden
1 × United Kingdom
3 × Germany
Collaborated with:P.Stepánek V.Ochozka
Talks about:program (6) logic (5) comput (3) normal (2) transform (1) stratif (1) general (1) develop (1) definit (1) complex (1)
Person: Olga Stepánková
DBLP: Step=aacute=nkov=aacute=:Olga
Contributed to:
198919881987
19861984Wrote 5 papers:
- 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.