Works matching DE "CONSTRUCTIVE proofs"

Results: 34

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:

Csirmaz, László;
Ligeti, Péter;
Tardos, Gábor

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:

Mortini, Raymond;
Rupp, Rudolf

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:

Horváth, Illés;
Telek, Miklós

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:

Chen, Qiuhui;
Qian, Tao

Publication type:

Article

On Symmetry of Independence Polynomials.

Published in:

Symmetry (20738994), 2011, v. 3, n. 3, p. 472, doi. 10.3390/sym3030472

By:

Levit, Vadim E.;
Mandrescu, Eugen

Publication type:

Article

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:

Ma, Wei

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:

Lee, Jooyoung;
Stam, Martijn;
Steinberger, John

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:

Davey, Brian A.;
Mendan, Stacey P.

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:

Maier-Paape, Stanislaus

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:

VERNESCU, ANDREI

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:

BOSA, JOAN;
TORNETTA, GABRIELE;
ZACHARIAS, JOACHIM

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:

AYLAR, Ebru

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:

dos Reis, Tiago S.;
Gomide, Walter;
Anderson, James A. D. W.

Publication type:

Article

A CONSTRUCTIVE ACCOUNT OF THE KAN-QUILLEN MODEL STRUCTURE AND OF KAN'S EX<sup>∞</sup> FUNCTOR.

Published in:

Cahiers de Topologie et Geometrie Differentielle Categoriques, 2025, v. 66, n. 1, p. 65

By:

Henry, Simon

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:

Tanaka, Yasuhito

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:

Wong, Tsai‐Lien;
Zhu, Xuding

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:

MEADOWS, TOBY

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:

RUMBERG, ANTJE

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:

Ohtaki, Eisei

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:

Gentile, Guido

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

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

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:

Hošek, Radim

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:

Bogdan, Marcel

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:

De Campos Sanz, Wagner;
Piecha, Thomas;
Schroeder-Heister, Peter

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:

Reis, Maurício D. L.

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:

LERON, URI;
ZASLAVSKY, ORIT

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:

ANDRICA, DORIN

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:

Xuhua Sun

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:

Hellman, Ziv

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:

Indrzejczak, Andrzej

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:

Vejjajiva, Pimpen

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:

ARAVANTINOS-SOTIROPOULOS, VASILEIOS;
KARAZERIS, PANAGIS

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:

SCHUBERT, ALEKSY;
URZYCZYN, PAWEŁ;
Dal Palu, Alessandro;
Tarau, Paul

Publication type:

Article