Works matching DE "AXIOMATIC recursion theory"

Results: 26

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:

Mullens, Michael A.;
Arif, Mohammed;
Armacost, Robert L.;
Gawlik, Thomas A.;
Hoekstra, Robert L.

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:

Horsten, Leon

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:

WIŚNIEWSKI, ANDRZEJ;
POGONOWSKI, JERZY

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:

Zaslavsky, I.

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:

Larouche, Maryse;
Geoffrion, Roxana;
Lazare, Darren;
Clancy, Aisling;
Lee, Terry;
Koenig, Nicole;
Cundiff, Geoffrey;
Stothers, Lynn

Publication type:

Article

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:

Hazen, Gordon B.

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:

Maniatis, M.

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:

Jandoc, Karl;
Juarez, Ruben

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:

Suzuki, Nobu-Yuki

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:

Ingrassia, Michael A.;
Lempp, Steffen

Publication type:

Article

Evolving Modem Sport.

Published in:

Journal of Sport History, 2008, v. 35, n. 1, p. 49

By:

MacLean, Malcolm

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:

ŁEŁYK, MATEUSZ;
WCISŁO, BARTOSZ

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:

Fischer, Martin

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:

Mancosu, Paolo

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:

Avigad, Jeremy;
Dean, Edward;
Mumma, John

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:

Bruni, Riccardo

Publication type:

Article

Logic in the deep end.

Published in:

Analysis, 2024, v. 84, n. 2, p. 282, doi. 10.1093/analys/anad060

By:

Leach-Krouse, Graham;
Logan, Shay Allen;
Worley, Blane

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:

Khanaki, Karim;
Bagheri, Seyed-Mohammad

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:

Ibuka, Shingo;
Kikuchi, Makoto;
Kikyo, Hirotaka

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:

Yaodong Cui;
Zhiyong Liu

Publication type:

Article

Higher moment coherent risk measures.

Published in:

Quantitative Finance, 2007, v. 7, n. 4, p. 373, doi. 10.1080/14697680701458307

By:

Krokhmal, PAVLO A.

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:

Tamargo, Luciano H.;
García, Alejandro J.;
Falappa, Marcelo A.;
Simari, Guillermo R.

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:

Wang, Desheng;
Kuppermann, Aron

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:

Karni, Edi

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:

Panigrahi, Pijushkanti

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:

Kıbrıs, Özgür

Publication type:

Article