INDUCTIVE INFERENCE OF LIMITING PROGRAMS WITH BOUNDED NUMBER OF MIND CHANGES.
- Published in:
- International Journal of Foundations of Computer Science, 1996, v. 7, n. 3, p. 187, doi. 10.1142/S0129054196000154
- By:
- Publication type:
- Article
Works matching IS 01290541 AND DT 1996 AND VI 7 AND IP 3
Results: 6
1
2
DEPTH AND PATH LENGTH OF HEAP ORDERED TREES.
- Published in:
- International Journal of Foundations of Computer Science, 1996, v. 7, n. 3, p. 293, doi. 10.1142/S0129054196000208
- By:
- Publication type:
- Article
3
OPTIMAL OPERATIONS ON RED-BLACK TREES.
- Published in:
- International Journal of Foundations of Computer Science, 1996, v. 7, n. 3, p. 227, doi. 10.1142/S0129054196000178
- By:
- Publication type:
- Article
4
SAFE TURING MACHINES, GRZEGORCZYK CLASSES AND POLYTIME.
- Published in:
- International Journal of Foundations of Computer Science, 1996, v. 7, n. 3, p. 241, doi. 10.1142/S012905419600018X
- By:
- Publication type:
- Article
5
STORAGE OVERHEAD OF O-TREES, B-TREES AND PREFIX B-TREES: A COMPARATIVE ANALYSIS.
- Published in:
- International Journal of Foundations of Computer Science, 1996, v. 7, n. 3, p. 209, doi. 10.1142/S0129054196000166
- By:
- Publication type:
- Article
6
MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS.
- Published in:
- International Journal of Foundations of Computer Science, 1996, v. 7, n. 3, p. 253, doi. 10.1142/S0129054196000191
- By:
- Publication type:
- Article