Works matching IS 01290541 AND DT 1995 AND VI 6 AND IP 4
Results: 6
AUTHOR INDEX VOLUME 6 (1995).
- Published in:
- International Journal of Foundations of Computer Science, 1995, v. 6, n. 4, p. 447, doi. 10.1142/S0129054195000251
- Publication type:
- Article
HOW TO SIMULATE TURING MACHINES BY INVERTIBLE ONE-DIMENSIONAL CELLULAR AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 1995, v. 6, n. 4, p. 395, doi. 10.1142/S0129054195000202
- By:
- Publication type:
- Article
A NOTE ON THE ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY.
- Published in:
- International Journal of Foundations of Computer Science, 1995, v. 6, n. 4, p. 339, doi. 10.1142/S0129054195000184
- By:
- Publication type:
- Article
THE QUINE-BERNAYS COMBINATORY CALCULUS.
- Published in:
- International Journal of Foundations of Computer Science, 1995, v. 6, n. 4, p. 417, doi. 10.1142/S0129054195000226
- By:
- Publication type:
- Article
ON THE POWER OF ONE-WAY GLOBALLY DETERMINISTIC SYNCHRONIZED ALTERNATING TURING MACHINES AND MULTIHEAD AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 1995, v. 6, n. 4, p. 431, doi. 10.1142/S0129054195000238
- By:
- Publication type:
- Article
OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES.
- Published in:
- International Journal of Foundations of Computer Science, 1995, v. 6, n. 4, p. 353, doi. 10.1142/S0129054195000196
- By:
- Publication type:
- Article