Sergiu Hart and Micha Sharir . Probabilistic propositional temporal logics. Inductive inference of approximations. Etsuro Moriya , Shigeki Iwata , and Takumi Kasai . A note on some simultaneous relations among time, space, and reversal for single work tape nondeterministic Turing machines.
Every sequence is reducible to a random one.
Abstract, References, and Citations. Larry Denenberg , Yuri Gurevich , and Saharon Shelah . Abstract and Citations. Werner Damm and Andreas Goerdt . Hirofumi Yokouchi .