BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Step=aacute=nek:Petr

Contributed to:

ICLP 20022002
CL 20002000
CSL 19891989
CSL 19881988
CSL 19871987
ICLP 19861986
ILPC 19841984
ILPC 19821982

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.