Works matching IS 10723374 AND DT 2014 AND VI 199 AND IP 1
Results: 6
On a Continuity Theorem for Constructive Functions.
- Published in:
- Journal of Mathematical Sciences, 2014, v. 199, n. 1, p. 6, doi. 10.1007/s10958-014-1828-9
- By:
- Publication type:
- Article
On the Comparison of Darboux and Riemann Integrals in Constructive Analysis.
- Published in:
- Journal of Mathematical Sciences, 2014, v. 199, n. 1, p. 1, doi. 10.1007/s10958-014-1827-x
- By:
- Publication type:
- Article
On a Diophantine Representation of the Predicate of Provability.
- Published in:
- Journal of Mathematical Sciences, 2014, v. 199, n. 1, p. 36, doi. 10.1007/s10958-014-1830-2
- By:
- Publication type:
- Article
Cut Rule for the Resolution Method.
- Published in:
- Journal of Mathematical Sciences, 2014, v. 199, n. 1, p. 56, doi. 10.1007/s10958-014-1832-0
- By:
- Publication type:
- Article
Polynomial Upper Bounds on the Size of Changes of a RAM+BOOL Program as a Tool for Proving Belonging to FP.
- Published in:
- Journal of Mathematical Sciences, 2014, v. 199, n. 1, p. 53, doi. 10.1007/s10958-014-1831-1
- By:
- Publication type:
- Article
Extended Fuzzy Constructive Logic.
- Published in:
- Journal of Mathematical Sciences, 2014, v. 199, n. 1, p. 16, doi. 10.1007/s10958-014-1829-8
- By:
- Publication type:
- Article