A Weak Constructive Second-Order Arithmetic with Extraction of Algorithms Computable in Polynomial Time.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4571, doi. 10.1007/s10958-005-0351-4
- By:
- Publication type:
- Article
Works matching IS 10723374 AND DT 2005 AND VI 130 AND IP 2
Results: 8
1
2
New Models of Bounded Induction Axioms.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4574, doi. 10.1007/s10958-005-0352-3
- By:
- Publication type:
- Article
3
Formal Axiomatic Theories Based on a Three-Valued Logic.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4578, doi. 10.1007/s10958-005-0353-2
- By:
- Publication type:
- Article
4
Algebras of Recursively Enumerable Sets and Their Applications to Fuzzy Logic.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4598, doi. 10.1007/s10958-005-0354-1
- By:
- Publication type:
- Article
5
S<sub> k,exp</sub> Does Not Prove NP = co-NP Uniformly.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4607, doi. 10.1007/s10958-005-0355-0
- By:
- Publication type:
- Article
6
Destinies and Decidability.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4620, doi. 10.1007/s10958-005-0356-z
- By:
- Publication type:
- Article
7
EMSO-Definability of Some Languages with Event Structures.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4624, doi. 10.1007/s10958-005-0357-y
- By:
- Publication type:
- Article
8
Diophantine Undecidability for Some Function Fields of Infinite Transcendence Degree and Positive Characteristic.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4631, doi. 10.1007/s10958-005-0358-x
- By:
- Publication type:
- Article