Works matching IS 01290541 AND DT 2000 AND VI 11 AND IP 4
Results: 7
Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Systems Using (3k+1)-ary Input Relations.
- Published in:
- International Journal of Foundations of Computer Science, 2000, v. 11, n. 4, p. 573, doi. 10.1142/S0129054100000302
- By:
- Publication type:
- Article
Relating Two-Dimensional Reconfigurable Meshes with Optically Pipelined Buses.
- Published in:
- International Journal of Foundations of Computer Science, 2000, v. 11, n. 4, p. 553, doi. 10.1142/S0129054100000314
- By:
- Publication type:
- Article
Uniform Characterizations of Complexity Classes of Functions.
- Published in:
- International Journal of Foundations of Computer Science, 2000, v. 11, n. 4, p. 525, doi. 10.1142/S0129054100000326
- By:
- Publication type:
- Article
Parallel Communicating Pushdown Automata Systems.
- Published in:
- International Journal of Foundations of Computer Science, 2000, v. 11, n. 4, p. 631, doi. 10.1142/S0129054100000338
- By:
- Publication type:
- Article
Oracles in [formula] are Suffficient for Exact Learning.
- Published in:
- International Journal of Foundations of Computer Science, 2000, v. 11, n. 4, p. 613, doi. 10.1142/S012905410000034X
- By:
- Publication type:
- Article
Predicate Boundedness of Linear Monadic Datalog is in PSPACE.
- Published in:
- International Journal of Foundations of Computer Science, 2000, v. 11, n. 4, p. 591, doi. 10.1142/S0129054100000351
- By:
- Publication type:
- Article
Approximating the Maximum Isomorphic Agreement Subtree is Hard.
- Published in:
- International Journal of Foundations of Computer Science, 2000, v. 11, n. 4, p. 579, doi. 10.1142/S0129054100000363
- By:
- Publication type:
- Article