Preface.
- Published in:
- Natural Computing, 2018, v. 17, n. 2, p. 295, doi. 10.1007/s11047-016-9592-z
- By:
- Publication type:
- Article
Works matching DE "BOUNDED arithmetics"
Results: 184
1
2
On the Lower Boundedness of Modified K-energy.
- Published in:
- Frontiers of Mathematics, 2023, v. 18, n. 2, p. 431, doi. 10.1007/s11464-021-0504-x
- By:
- Publication type:
- Article
3
NOTE ON WEAKLY 1-ABSORBING PRIME ELEMENTS.
- Published in:
- Bulletin of International Mathematical Virtual Institute, 2024, v. 14, n. 2, p. 335, doi. 10.7251/BIMVI2402335A
- By:
- Publication type:
- Article
4
Some dynamic integral inequalities with mixed nonlinearities on time scales.
- Published in:
- Journal of Inequalities & Applications, 2015, v. 2015, n. 1, p. 1, doi. 10.1186/s13660-014-0537-8
- By:
- Publication type:
- Article
5
On a Stević-Sharma operator from Hardy spaces to the logarithmic Bloch spaces.
- Published in:
- Journal of Inequalities & Applications, 2015, v. 2015, n. 1, p. 1, doi. 10.1186/s13660-015-0547-1
- By:
- Publication type:
- Article
6
Bounds for the global cyclicity index of a general network via weighted majorization.
- Published in:
- Journal of Inequalities & Applications, 2015, v. 2015, n. 1, p. 1, doi. 10.1186/s13660-015-0624-5
- By:
- Publication type:
- Article
7
Necessary and sufficient conditions for the boundedness of rough multilinear fractional operators on Morrey-type spaces.
- Published in:
- Journal of Inequalities & Applications, 2015, v. 2015, n. 1, p. 1, doi. 10.1186/s13660-015-0627-2
- By:
- Publication type:
- Article
8
Improved Online Algorithms for 2-Space Bounded 2-Dimensional Bin Packing.
- Published in:
- International Journal of Foundations of Computer Science, 2016, v. 27, n. 4, p. 407, doi. 10.1142/S0129054116500076
- By:
- Publication type:
- Article
9
BOUNDED PARIKH AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 8, p. 1691, doi. 10.1142/S0129054112400709
- By:
- Publication type:
- Article
10
The Relationship Between Children’s Familiarity with Numbers and Their Performance in Bounded and Unbounded Number Line Estimations.
- Published in:
- Mathematical Thinking & Learning, 2015, v. 17, n. 2/3, p. 136, doi. 10.1080/10986065.2015.1016813
- By:
- Publication type:
- Article
11
Bounded finite set theory.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 2, p. 149, doi. 10.1002/malq.202000056
- Publication type:
- Article
12
A remark on pseudo proof systems and hard instances of the satisfiability problem.
- Published in:
- Mathematical Logic Quarterly, 2018, v. 64, n. 6, p. 418, doi. 10.1002/malq.201700009
- By:
- Publication type:
- Article
13
Two new equivalents of Lindelöf metric spaces.
- Published in:
- Mathematical Logic Quarterly, 2018, v. 64, n. 1/2, p. 37, doi. 10.1002/malq.201600059
- By:
- Publication type:
- Article
14
Contents: (Math. Log. Quart. 1‐2/2018).
- Published in:
- 2018
- Publication type:
- Table of Contents
15
On the finite axiomatizability of.
- Published in:
- Mathematical Logic Quarterly, 2018, v. 64, n. 1/2, p. 6, doi. 10.1002/malq.201500092
- By:
- Publication type:
- Article
16
A Hanf number for saturation and omission: the superstable case.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 6, p. 437, doi. 10.1002/malq.201300022
- By:
- Publication type:
- Article
17
Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 1/2, p. 84, doi. 10.1002/malq.201100100
- By:
- Publication type:
- Article
18
A note on the monotone functional interpretation.
- Published in:
- Mathematical Logic Quarterly, 2011, v. 57, n. 6, p. 611, doi. 10.1002/malq.201110023
- By:
- Publication type:
- Article
19
Ideals with bases of unbounded Borel complexity.
- Published in:
- Mathematical Logic Quarterly, 2011, v. 57, n. 6, p. 582, doi. 10.1002/malq.201020081
- By:
- Publication type:
- Article
20
ON PROVING CONSISTENCY OF EQUATIONAL THEORIES IN BOUNDED ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 135, doi. 10.1017/jsl.2025.6
- By:
- Publication type:
- Article
21
CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1063, doi. 10.1017/jsl.2018.14
- By:
- Publication type:
- Article
22
The fast signal diffusion limit in a chemotaxis system with strong signal sensitivity.
- Published in:
- Mathematische Nachrichten, 2018, v. 291, n. 8/9, p. 1342, doi. 10.1002/mana.201700270
- By:
- Publication type:
- Article
23
On analyticity of the.
- Published in:
- Mathematische Nachrichten, 2017, v. 290, n. 16, p. 2524, doi. 10.1002/mana.201600016
- By:
- Publication type:
- Article
24
A unified method for boundedness in fully parabolic chemotaxis systems with signal-dependent sensitivity.
- Published in:
- Mathematische Nachrichten, 2017, v. 290, n. 16, p. 2648, doi. 10.1002/mana.201600399
- By:
- Publication type:
- Article
25
Strong convergence of two-dimensional Vilenkin-Fourier series.
- Published in:
- Mathematische Nachrichten, 2016, v. 289, n. 4, p. 485, doi. 10.1002/mana.201400239
- By:
- Publication type:
- Article
26
Hyers--Ulam stability of delay differential equations of first order.
- Published in:
- Mathematische Nachrichten, 2016, v. 289, n. 1, p. 60, doi. 10.1002/mana.201400298
- By:
- Publication type:
- Article
27
Global existence of solutions for a fully parabolic chemotaxis system with consumption of chemoattractant and logistic source.
- Published in:
- Mathematische Nachrichten, 2015, v. 288, n. 5/6, p. 710, doi. 10.1002/mana.201300105
- By:
- Publication type:
- Article
28
Regularity of weak solutions to rate-independent systems in one-dimension.
- Published in:
- Mathematische Nachrichten, 2014, v. 287, n. 11/12, p. 1341, doi. 10.1002/mana.201300032
- By:
- Publication type:
- Article
29
Decay estimates for spherically symmetric Yang-Mills fields in Minkowski space-time.
- Published in:
- Annales de l'Institut Henri Poincaré C, 2016, v. 10, n. 5, p. 481, doi. 10.1016/S0294-1449(16)30202-5
- By:
- Publication type:
- Article
30
Compactness of immersions with local Lipschitz representation
- Published in:
- Annales de l'Institut Henri Poincaré C, 2012, v. 29, n. 4, p. 545, doi. 10.1016/j.anihpc.2012.02.001
- By:
- Publication type:
- Article
31
Bounded control of feedforward time‐delay systems with linearized systems consisting of chain of oscillators.
- Published in:
- International Journal of Robust & Nonlinear Control, 2019, v. 29, n. 1, p. 283, doi. 10.1002/rnc.4389
- By:
- Publication type:
- Article
32
Finite-time boundedness and L<sub>2</sub>-gain analysis for switched positive linear systems with multiple time delays.
- Published in:
- International Journal of Robust & Nonlinear Control, 2017, v. 27, n. 17, p. 3508, doi. 10.1002/rnc.3746
- By:
- Publication type:
- Article
33
On a functional equation related to a problem of G. Derfel.
- Published in:
- Aequationes Mathematicae, 2019, v. 93, n. 1, p. 137, doi. 10.1007/s00010-018-0600-5
- By:
- Publication type:
- Article
34
Behaviour at infinity of solutions of some linear functional equations in normed spaces.
- Published in:
- Aequationes Mathematicae, 2014, v. 87, n. 3, p. 379, doi. 10.1007/s00010-013-0194-x
- By:
- Publication type:
- Article
35
THE STRONG LEGENDRE CONDITION AND THE WELL-POSEDNESS OF MIXED ROBIN PROBLEMS ON MANIFOLDS WITH BOUNDED GEOMETRY.
- Published in:
- Romanian Journal of Pure & Applied Mathematics / Revue Roumaine de Mathematiques Pures et Appliquees, 2019, n. 2, p. 1
- By:
- Publication type:
- Article
36
Bounded solutions and asymptotic stability of nonlinear second-order neutral difference equations with quasi-differences.
- Published in:
- Turkish Journal of Mathematics, 2018, v. 42, n. 4, p. 1956, doi. 10.3906/mat-1708-29
- By:
- Publication type:
- Article
37
Integral representation for solutions of the pseudoparabolic equation in matrix form.
- Published in:
- Turkish Journal of Mathematics, 2018, v. 42, n. 4, p. 1655, doi. 10.3906/mat-1705-31
- By:
- Publication type:
- Article
38
A nonexistence result for blowing up sign-changing solutions of the Brezis-Nirenberg-type problem.
- Published in:
- Turkish Journal of Mathematics, 2018, v. 42, n. 4, p. 1630, doi. 10.3906/mat-1709-47
- By:
- Publication type:
- Article
39
On the equivalence of Alexandrov curvature and Busemann curvature.
- Published in:
- Turkish Journal of Mathematics, 2017, v. 41, n. 1, p. 211, doi. 10.3906/mat-1509-52
- By:
- Publication type:
- Article
40
Bounded gaps between products of distinct primes.
- Published in:
- Research in Number Theory, 2017, v. 3, n. 1, p. 1, doi. 10.1007/s40993-017-0089-3
- By:
- Publication type:
- Article
41
On bounded distortions of maps in the line.
- Published in:
- Dynamical Systems: An International Journal, 2012, v. 27, n. 4, p. 501, doi. 10.1080/14689367.2012.725031
- By:
- Publication type:
- Article
42
Iterated multiplication in VTC0.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 705, doi. 10.1007/s00153-021-00810-6
- By:
- Publication type:
- Article
43
Sprague–Grundy theory in bounded arithmetic.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 1/2, p. 233, doi. 10.1007/s00153-021-00790-7
- By:
- Publication type:
- Article
44
Induction rules in bounded arithmetic.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 461, doi. 10.1007/s00153-019-00702-w
- By:
- Publication type:
- Article
45
Uniform proofs of ACC representations.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 639, doi. 10.1007/s00153-017-0560-9
- By:
- Publication type:
- Article
46
Herbrand consistency of some finite fragments of bounded arithmetical theories.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 317, doi. 10.1007/s00153-012-0318-3
- By:
- Publication type:
- Article
47
A Pohozaev identity for the fractional Hénon system.
- Published in:
- Acta Mathematica Sinica, 2017, v. 33, n. 10, p. 1382, doi. 10.1007/s10114-017-6556-x
- By:
- Publication type:
- Article
48
Dynamic learning and strategic communication.
- Published in:
- International Journal of Game Theory, 2016, v. 45, n. 3, p. 627, doi. 10.1007/s00182-015-0474-x
- By:
- Publication type:
- Article
49
Solution form of a higher-order system of difference equations and dynamical behavior of its special case.
- Published in:
- Mathematical Methods in the Applied Sciences, 2017, v. 40, n. 10, p. 3599, doi. 10.1002/mma.4248
- By:
- Publication type:
- Article
50
Generalized fractional integral operators on generalized Orlicz–Morrey spaces of the second kind over non-doubling metric measure spaces.
- Published in:
- Georgian Mathematical Journal, 2018, v. 25, n. 2, p. 303, doi. 10.1515/gmj-2018-0018
- By:
- Publication type:
- Article