Works matching DE "CONSTRUCTIVE proofs"
Results: 33
A Rejoinder to Notes on a 'Constructive Proof of the Existence of a Collateral Equilibrium'.
- Published in:
- Computational Economics, 2017, v. 49, n. 1, p. 175, doi. 10.1007/s10614-015-9551-2
- By:
- Publication type:
- Article
On Symmetry of Independence Polynomials.
- Published in:
- Symmetry (20738994), 2011, v. 3, n. 3, p. 472, doi. 10.3390/sym3030472
- By:
- Publication type:
- Article
An Analysis of Seventh Graders' Skills in Doing Proofs.
- Published in:
- Journal of Faculty of Educational Sciences, 2014, v. 47, n. 1, p. 351
- By:
- Publication type:
- Article
Erdős-Pyber Theorem for Hypergraphs and Secret Sharing.
- Published in:
- Graphs & Combinatorics, 2015, v. 31, n. 5, p. 1335, doi. 10.1007/s00373-014-1448-7
- By:
- Publication type:
- Article
Extra Ecclesiam Nulla Salus: Lessons for Doctrinal Development Theory in Catholic Theology.
- Published in:
- International Journal of Systematic Theology, 2022, v. 24, n. 1, p. 100, doi. 10.1111/ijst.12520
- Publication type:
- Article
Extended Curry-Howard terms for second-order logic.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 274, doi. 10.1002/malq.201100102
- By:
- Publication type:
- Article
Strongly regular family of boundary-fitted tetrahedral meshes of bounded C domains.
- Published in:
- Applications of Mathematics, 2016, v. 61, n. 3, p. 233, doi. 10.1007/s10492-016-0130-1
- By:
- Publication type:
- Article
Construction of quasi-periodic response solutions in forced strongly dissipative systems.
- Published in:
- Forum Mathematicum, 2012, v. 24, n. 4, p. 791, doi. 10.1515/form.2011.084
- By:
- Publication type:
- Article
The Security of Tandem-DM in the Ideal Cipher Model.
- Published in:
- Journal of Cryptology, 2017, v. 30, n. 2, p. 495, doi. 10.1007/s00145-016-9230-z
- By:
- Publication type:
- Article
TAUTOLOGY ELIMINATION, CUT ELIMINATION, AND S5.
- Published in:
- Logic & Logical Philosophy, 2017, v. 26, n. 4, p. 461, doi. 10.12775/LLP.2017.005
- By:
- Publication type:
- Article
Constructive Proof of the Existence of Nash Equilibrium in a Finite Strategic Game with Sequentially Locally Nonconstant Payoff Functions.
- Published in:
- ISRN Computational Mathematics, 2012, p. 1, doi. 10.5402/2012/459459
- By:
- Publication type:
- Article
A solution to the Bézout equation in A( K) without Gelfand theory.
- Published in:
- Archiv der Mathematik, 2012, v. 99, n. 1, p. 49, doi. 10.1007/s00013-012-0395-x
- By:
- Publication type:
- Article
THREE PROOFS TO AN INTERESTING PROPERTY OF CYCLIC QUADRILATERALS.
- Published in:
- International Journal of Geometry, 2013, v. 2, n. 1, p. 54
- By:
- Publication type:
- Article
Partial Online List Coloring of Graphs.
- Published in:
- Journal of Graph Theory, 2013, v. 74, n. 3, p. 359, doi. 10.1002/jgt.21714
- By:
- Publication type:
- Article
Constructive semantics, admissibility of rules and the validity of Peirce's law.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 297, doi. 10.1093/jigpal/jzt029
- By:
- Publication type:
- Article
On the interrelation between systems of spheres and epistemic entrenchment relations.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 126, doi. 10.1093/jigpal/jzt037
- By:
- Publication type:
- Article
A Constructive Proof of the Phase-Type Characterization Theorem.
- Published in:
- Stochastic Models, 2015, v. 31, n. 2, p. 316, doi. 10.1080/15326349.2015.1012912
- By:
- Publication type:
- Article
Automatic one two three.
- Published in:
- Quantitative Finance, 2015, v. 15, n. 2, p. 247, doi. 10.1080/14697688.2013.814922
- By:
- Publication type:
- Article
WHAT CAN A CATEGORICITY THEOREM TELL US?
- Published in:
- Review of Symbolic Logic, 2013, v. 6, n. 3, p. 524, doi. 10.1017/S1755020313000178
- By:
- Publication type:
- Article
BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS.
- Published in:
- Review of Symbolic Logic, 2013, v. 6, n. 3, p. 424, doi. 10.1017/S1755020313000154
- By:
- Publication type:
- Article
GENERIC PROVING: REFLECTIONS ON SCOPE AND METHOD.
- Published in:
- For the Learning of Mathematics, 2013, v. 33, n. 3, p. 24
- By:
- Publication type:
- Article
First-order Answer Set Programming as Constructive Proof Search.
- Published in:
- Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 673, doi. 10.1017/S147106841800008X
- By:
- Publication type:
- Article
A PROPERTY OF EFFECTIVIZATION AND ITS USES IN CATEGORICAL LOGIC.
- Published in:
- Theory & Applications of Categories, 2017, v. 32, n. 21-30, p. 769
- By:
- Publication type:
- Article
A constructive proof of Beurling-Lax theorem.
- Published in:
- Chinese Annals of Mathematics, 2015, v. 36, n. 1, p. 141, doi. 10.1007/s11401-014-0870-8
- By:
- Publication type:
- Article
Construction of the Transreal Numbers and Algebraic Transfields.
- Published in:
- IAENG International Journal of Applied Mathematics, 2016, v. 46, n. 1, p. 11
- By:
- Publication type:
- Article
Natural and restricted Priestley duality for ternary algebras and their cousins.
- Published in:
- Categories & General Algebraic Structures with Applications, 2022, v. 16, n. 1, p. 59, doi. 10.52547/cgasa.16.1.59
- By:
- Publication type:
- Article
ON PARAMETRIC QUASIVARIATIONAL INEQUALITIES.
- Published in:
- Scientific Bulletin of the Petru Maior University of Targu Mures, 2012, v. 9, n. 1, p. 26
- By:
- Publication type:
- Article
ABOUT THE RATIONALITY, RESPECTIVELY THE IRRATIONALITY OF THE REAL POWER OF A POSITIVE REAL NUMBER.
- Published in:
- Journal of Science & Arts, 2013, v. 13, n. 3, p. 277
- By:
- Publication type:
- Article
A NOTE ON THE EXISTENCE AND UNIQUENESS OF STATIONARY MONETARY EQUILIBRIUM IN A STOCHASTIC OLG MODEL.
- Published in:
- Macroeconomic Dynamics, 2015, v. 19, n. 3, p. 701, doi. 10.1017/S1365100513000515
- By:
- Publication type:
- Article
'Assessment of Prospective Teachers' Multiple Proof Construction of a Trapezoid Area Formula.
- Published in:
- New Waves - Educational Research & Development, 2013, v. 16, n. 1, p. 124
- By:
- Publication type:
- Article
A Theorem with Constructive and Nonconstructive Proofs.
- Published in:
- American Mathematical Monthly, 2013, v. 120, n. 6, p. 536, doi. 10.4169/amer.math.monthly.120.06.536
- Publication type:
- Article
Countable spaces and common priors.
- Published in:
- International Journal of Game Theory, 2014, v. 43, n. 1, p. 193, doi. 10.1007/s00182-013-0390-x
- By:
- Publication type:
- Article
Open projections and suprema in the Cuntz semigroup.
- Published in:
- Mathematical Proceedings of the Cambridge Philosophical Society, 2018, v. 164, n. 1, p. 135, doi. 10.1017/S030500411600089X
- By:
- Publication type:
- Article