Works matching DE "AXIOMATIC recursion theory"
Results: 26
DOES ROLLING BACK DECISION TREES REALLY REQUIRE THE INDEPENDENCE AXIOM?
- Published in:
- Management Science, 1987, v. 33, n. 6, p. 807, doi. 10.1287/mnsc.33.6.807
- By:
- Publication type:
- Article
Higher moment coherent risk measures.
- Published in:
- Quantitative Finance, 2007, v. 7, n. 4, p. 373, doi. 10.1080/14697680701458307
- By:
- Publication type:
- Article
Random variables and integral logic.
- Published in:
- Mathematical Logic Quarterly, 2011, v. 57, n. 5, p. 494, doi. 10.1002/malq.201020068
- By:
- Publication type:
- Article
Kolmogorov complexity and characteristic constants of formal theories of arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2011, v. 57, n. 5, p. 470, doi. 10.1002/malq.201010017
- By:
- Publication type:
- Article
Models for the logic of possible proofs.
- Published in:
- Pacific Philosophical Quarterly, 2000, v. 81, n. 1, p. 49, doi. 10.1111/1468-0114.00094
- By:
- Publication type:
- Article
Mid-urethral slings on YouTube: quality information on the internet?
- Published in:
- International Urogynecology Journal, 2016, v. 27, n. 6, p. 903, doi. 10.1007/s00192-015-2908-1
- By:
- Publication type:
- Article
An extension of ono's completeness result.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 365, doi. 10.1002/malq.19900360410
- By:
- Publication type:
- Article
Jumps of nontrivial splittings of recursively enumerable sets.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 285, doi. 10.1002/malq.19900360403
- By:
- Publication type:
- Article
Ranganathan and Dewey in hierarchical subject classification: Some similarities.
- Published in:
- Annals of Library & Information Studies, 2015, v. 62, n. 4, p. 265
- By:
- Publication type:
- Article
T-shape homogenous block patterns for the two-dimensional cutting problem.
- Published in:
- Journal of Global Optimization, 2008, v. 41, n. 2, p. 267, doi. 10.1007/s10898-007-9252-z
- By:
- Publication type:
- Article
On recursive solutions to simple allocation problems.
- Published in:
- Theory & Decision, 2013, v. 75, n. 3, p. 449, doi. 10.1007/s11238-013-9359-2
- By:
- Publication type:
- Article
MODELS OF POSITIVE TRUTH.
- Published in:
- Review of Symbolic Logic, 2019, v. 12, n. 1, p. 144, doi. 10.1017/S1755020318000400
- By:
- Publication type:
- Article
MINIMAL TRUTH AND INTERPRETABILITY.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 799, doi. 10.1017/S1755020309990232
- By:
- Publication type:
- Article
MEASURING THE SIZE OF INFINITE COLLECTIONS OF NATURAL NUMBERS: WAS CANTOR'S THEORY OF INFINITE NUMBER INEVITABLE?
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 612, doi. 10.1017/S1755020309990128
- By:
- Publication type:
- Article
A FORMAL SYSTEM FOR EUCLID'S ELEMENTS.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 700, doi. 10.1017/S1755020309990098
- By:
- Publication type:
- Article
A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 684, doi. 10.1017/S175502030909025X
- By:
- Publication type:
- Article
Logic in the deep end.
- Published in:
- Analysis, 2024, v. 84, n. 2, p. 282, doi. 10.1093/analys/anad060
- By:
- Publication type:
- Article
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
Interrogatives, Recursion, and Incompleteness.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 6, p. 1187, doi. 10.1093/logcom/exq014
- By:
- Publication type:
- Article
Use of symbolic algebra in the calculation of hyperspherical harmonics.
- Published in:
- International Journal of Quantum Chemistry, 2006, v. 106, n. 1, p. 152, doi. 10.1002/qua.20774
- By:
- Publication type:
- Article
Modeling knowledge dynamics in multi-agent systems based on informants.
- Published in:
- Knowledge Engineering Review, 2012, v. 27, n. 1, p. 87, doi. 10.1017/S0269888912000021
- By:
- Publication type:
- Article
Impartiality and interpersonal comparisons of variations in well-being.
- Published in:
- Social Choice & Welfare, 2003, v. 21, n. 1, p. 95, doi. 10.1007/s00355-003-0203-4
- By:
- Publication type:
- Article
Evolving Modem Sport.
- Published in:
- Journal of Sport History, 2008, v. 35, n. 1, p. 49
- By:
- Publication type:
- Article
Axiomatic Based Decomposition for Conceptual Product Design.
- Published in:
- Production & Operations Management, 2005, v. 14, n. 3, p. 286, doi. 10.1111/j.1937-5956.2005.tb00025.x
- By:
- Publication type:
- Article
Application of the Feynman-tree theorem together with BCFW recursion relations.
- Published in:
- International Journal of Modern Physics A: Particles & Fields; Gravitation; Cosmology; Nuclear Physics, 2018, v. 33, n. 7, p. 1850042-1, doi. 10.1142/S0217751X18500422
- By:
- Publication type:
- Article
Self-enforcing coalitions with power accumulation.
- Published in:
- International Journal of Game Theory, 2017, v. 46, n. 2, p. 327, doi. 10.1007/s00182-016-0538-6
- By:
- Publication type:
- Article