Travelled to:
1 × Sweden
Collaborated with:
J.W.Jaromczyk
Talks about:
algorithm (1) function (1) theori (1) applic (1) even (1)
Person: Grzegorz Swiatek
DBLP: Swiatek:Grzegorz
Contributed to:
Wrote 1 papers:
- ICALP-1993-JaromczykS #algorithm #formal method
- A Theory of Even Functionals and Their Algorithmic Applications (JWJ, GS), pp. 126–136.