Travelled to:1 × Greece
1 × Japan
Collaborated with:M.Zimand E.Calude B.Khoussainov A.Nies L.Staiger F.Stephan
Talks about:univers (2) determinist (1) algorithm (1) independ (1) automata (1) abstract (1) sequenc (1) string (1) recurs (1) extend (1)
Person: Cristian S. Calude
DBLP: Calude:Cristian_S=
Contributed to:
20081997Wrote 3 papers:
- DLT-2008-CaludeNSS #recursion #set #string
- Universal Recursively Enumerable Sets of Strings (CSC, AN, LS, FS), pp. 170–182.
- DLT-2008-CaludeZ #independence #sequence
- Algorithmically Independent Sequences (CSC, MZ), pp. 183–195.
- DLT-1997-CaludeCK #automaton #simulation
- Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract (CSC, EC, BK), pp. 519–537.