Travelled to:
1 × Denmark
1 × Spain
Collaborated with:
J.Síma S.Jukna
Talks about:
uncertainti (1) hierarchi (1) program (1) distanc (1) machin (1) branch (1) bound (1) ture (1)
Person: Stanislav Zák
DBLP: Z=aacute=k:Stanislav
Contributed to:
Wrote 2 papers:
- LATA-2013-ZakS #distance #turing machine
- A Turing Machine Distance Hierarchy (SZ, JS), pp. 570–578.
- ICALP-1998-JuknaZ #bound #branch #nondeterminism #on the #source code
- On Branching Programs With Bounded Uncertainty (SJ, SZ), pp. 259–270.