Travelled to:
1 × Austria
1 × Germany
Collaborated with:
J.Tapken K.Ambos-Spies H.Huwig
Talks about:
time (2) determinist (1) polynomi (1) semant (1) extens (1) diagon (1) real (1) sdl (1) net (1)
Person: Hans Fleischhack
DBLP: Fleischhack:Hans
Contributed to:
Wrote 2 papers:
- FME-1997-FleischhackT #realtime #semantics
- An M-Net Semantics for a Real-Time Extension of μSDL (HF, JT), pp. 162–181.
- CSL-1987-Ambos-SpiesFH #polynomial
- Diagonalizing over Deterministic Polynomial Time (KAS, HF, HH), pp. 1–16.