Travelled to:
1 × Denmark
Collaborated with:
P.Stepánek
Talks about:
transform (1) program (1) schema (1) prolog (1) logic (1) base (1)
Person: Petr Olmer
DBLP: Olmer:Petr
Contributed to:
Wrote 1 papers:
- ICLP-2002-OlmerS #logic programming #prolog #source code
- Schema-Based Transformations of Logic Programs in λ-Prolog (PO, PS), p. 472.