Computational complexity of logical theories of one successor and another unary function.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 2, p. 123, doi. 10.1007/s00153-006-0031-1
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2007 AND VI 46 AND IP 2
Results: 7
1
2
A note on weak dividing.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 2, p. 51, doi. 10.1007/s00153-006-0026-y
- By:
- Publication type:
- Article
3
Semifree actions of free groups.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 2, p. 93, doi. 10.1007/s00153-006-0029-8
- By:
- Publication type:
- Article
4
Constructing local optima on a compact interval.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 2, p. 149, doi. 10.1007/s00153-006-0032-0
- By:
- Publication type:
- Article
5
Normal subgroups of nonstandard symmetric and alternating groups.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 2, p. 107, doi. 10.1007/s00153-006-0030-2
- By:
- Publication type:
- Article
6
Lifting elementary embeddings j: V <sub>λ</sub> → V <sub>λ</sub>.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 2, p. 61, doi. 10.1007/s00153-006-0027-x
- By:
- Publication type:
- Article
7
Complexity of admissible rules.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 2, p. 73, doi. 10.1007/s00153-006-0028-9
- By:
- Publication type:
- Article