- Tytuł:
- On the Computational Power of Querying the History
- Autorzy:
-
Lisitsa, A.
Potapov, I. - Data publikacji:
- 2009
- Słowa kluczowe:
-
history-dependent computations
executable temporal logic
models of computations
universality - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł