skip to main content
Lingue:
Cerca la mia strategia di ricerca: Mostra risultati con: Mostra risultati con:

Turing machines with atoms, constraint satisfaction problems, and descriptive complexity

Klin, Bartek ; Lasota, Sławomir ; Ochremiak, Joanna ; Toruńczyk, Szymon

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics), 2014-07-14, p.1-10

Fulltext non disponibile

Vedi tutte le versioni
Citazioni Citato da

Ricerca in corso nelle risorse remote ...