Combined Hierarchies of Finite Random Access Machines.
- Published in:
- Journal of Mathematical Sciences, 2003, v. 118, n. 2, p. 4943, doi. 10.1023/A:1025633804935
- By:
- Publication type:
- Article
Works matching IS 10723374 AND DT 2003 AND VI 118 AND IP 2
Results: 6
1
2
Upper Bound on the Height of Terms in Proofs with Bound-Depth-Restricted Cuts.
- Published in:
- Journal of Mathematical Sciences, 2003, v. 118, n. 2, p. 4982, doi. 10.1023/A:1025601406752
- By:
- Publication type:
- Article
3
Doubly-Exponential Growth of the Number of Vectors of Multipilicities for Solutions of Systems of Polynomial.
- Published in:
- Journal of Mathematical Sciences, 2003, v. 118, n. 2, p. 4963, doi. 10.1023/A:1025697205844
- By:
- Publication type:
- Article
4
Upper Bounds on Height of Terms in a Solution of a Semiunification Problem.
- Published in:
- Journal of Mathematical Sciences, 2003, v. 118, n. 2, p. 4966, doi. 10.1023/A:1025649322682
- By:
- Publication type:
- Article
5
A Polynomial Lower Bound on the Size of a k-Min-Wise Independent Set of Permutations.
- Published in:
- Journal of Mathematical Sciences, 2003, v. 118, n. 2, p. 4994, doi. 10.1023/A:1025653423591
- By:
- Publication type:
- Article
6
Algorithms for Sat and Upper Bounds on Their Complexity.
- Published in:
- Journal of Mathematical Sciences, 2003, v. 118, n. 2, p. 4948, doi. 10.1023/A:1025645221773
- By:
- Publication type:
- Article