Travelled to:
1 × Taiwan
Collaborated with:
Z.Bayram
Talks about:
transform (1) version (1) complet (1) proof (1) xslt (1) ture (1) pure (1) base (1)
Person: Ruhsan Onder
DBLP: Onder:Ruhsan
Contributed to:
Wrote 1 papers:
- CIAA-2006-OnderB #proving
- XSLT Version 2.0 Is Turing-Complete: A Purely Transformation Based Proof (RO, ZB), pp. 275–276.