BibSonomy :: author  ::

bookmarks

publications

(316)

• Algorithmically Independent Sequences.
  Cristian S. Calude and Marius Zimand Developments in Language Theory 183-195 (2008)
  to dblp by dblp and 1 other person on 2008-09-12 00:00:00
  | URL | BibTeX  
• Universal Recursively Enumerable Sets of Strings.
  Cristian S. Calude and André Nies and Ludwig Staiger and Frank Stephan Developments in Language Theory 170-182 (2008)
  to dblp by dblp on 2008-09-12 00:00:00
  | URL | BibTeX  
• Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
  Cristian S. Calude and Nicholas J. Hay CoRR abs/0808.2220 (2008)
  to dblp by dblp on 2008-09-01 00:00:00
  | URL | BibTeX  
• Quantum Experiments Can Test Mathematical Undecidability.
  Caslav Brukner UC 1-5 (2008)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• The Expressiveness of Concentration Controlled P Systems.
  Shankara Narayanan Krishna UC 96-110 (2008)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• Ultrafilter and Non-standard Turing Machines.
  Petrus H. Potgieter and Elemér E. Rosinger UC 220-227 (2008)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• A Characterisation of NL Using Membrane Systems without Charges and Dissolution.
  Niall Murphy and Damien Woods UC 164-176 (2008)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• Predictions for the Future of Optimisation Research.
  David Corne UC 7 (2008)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• Automata on Multisets of Communicating Objects.
  Linmin Yang and Yong Wang and Zhe Dang UC 242-257 (2008)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• On the Computational Complexity of Spiking Neural P Systems.
  Turlough Neary UC 189-205 (2008)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX