Travelled to:
1 × Sweden
Collaborated with:
G.Swiatek
Talks about:
algorithm (1) function (1) theori (1) applic (1) even (1)
Person: Jerzy W. Jaromczyk
DBLP: Jaromczyk:Jerzy_W=
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.