Search results
From MaRDI portal
- Program extraction from proofs of weak head normalization 2013-10-08 Paper From reduction-based to reduction-free normalization 2013-09-20 Paper Syntactic theories...10 bytes (15 words) - 16:33, 9 December 2023
- mixed-$\omega$-sheaves 2019-07-31 Paper On normalization of quasi-log canonical pairs 2019-06-18 Paper Notes on the weak positivity theorems 2018-07-12 Paper https://portal...10 bytes (14 words) - 09:48, 25 September 2023
- König's lemma, weak König's lemma, and the decidable fan theorem 2023-09-12 Paper Decidable fan theorem and uniform continuity theorem with continuous...10 bytes (13 words) - 10:26, 7 October 2023
- superpotential 2022-12-07 Paper Normalization of ZZ instanton amplitudes in minimal string theory 2022-12-07 Paper Classical soft graviton theorem rewritten 2022-10-21...10 bytes (14 words) - 14:41, 7 December 2023
- Paper A central limit theorem for self-normalized sums of a linear process 2007-11-23 Paper A Hölderian functional central limit theorem for a multi-indexed...10 bytes (15 words) - 16:08, 11 December 2023
- 2014-04-03 Paper On weak solutions to the Lagrange-d'Alembert equation 2013-12-16 Paper Relative version of the Titchmarsh convolution theorem 2013-09-11 Paper...10 bytes (15 words) - 22:41, 8 December 2023
- hydrodynamic normalization 2023-08-04 Paper On compact classes of Beltrami solutions and Dirichlet problem 2023-07-12 Paper Hydrodynamic normalization conditions...10 bytes (13 words) - 23:13, 9 December 2023
- remainder in the central limit theorem for moments of sums of independent random variables 2000-11-06 Paper On a Feller Theorem 2000-10-19 Paper On the law...10 bytes (15 words) - 15:09, 10 December 2023
- Paper Confluence properties of weak and strong calculi of explicit substitutions 1998-01-21 Paper Strong normalization of substitutions 1997-10-26 Paper...10 bytes (13 words) - 19:19, 6 October 2023
- splitting theorem 2025-01-09 Paper The provability logic of all provability predicates 2024-11-12 Paper The persistence principle over weak interpretability...10 bytes (13 words) - 11:59, 6 October 2023
- Date of Publication Type On the weak solvability of high-order viscoelastic fluid dynamics model 2024-11-08 Paper On weak solvability of fractional models...10 bytes (15 words) - 01:44, 11 December 2023
- limit theorem in Hölder spaces 2002-02-18 Paper Random fields and central limit theorem in some generalized Hölder spaces 2002-02-05 Paper Weak Hölder...10 bytes (13 words) - 14:24, 9 December 2023
- for the weak modal Grzegorczyk logic via non-well-founded proofs 2020-03-04 Paper Some abstract versions of G\"odel's second incompleteness theorem based...10 bytes (14 words) - 18:19, 24 September 2023
- multivariate Gaussian distributions 2008-09-17 Paper Limit theorems for record values using power normalization 2008-02-18 Paper On subordinated multivariate Gaussian...10 bytes (15 words) - 23:18, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q5389133 2012-04-25 Paper Weak Convergence and Uniform Normalization in Infinitary Rewriting 2012-04-25 Paper https://portal...10 bytes (15 words) - 08:15, 7 October 2023
- limit theorem for branching random walks, almost sure weak convergence and applications to random trees 2017-02-21 Paper A central limit theorem and a...10 bytes (15 words) - 19:34, 9 December 2023
- Paper An Introduction to the Analysis of Algorithms 2018-01-25 Paper On normalization of inconsistency indicators in pairwise comparisons 2017-10-06 Paper...10 bytes (15 words) - 02:56, 25 September 2023
- 1988-01-01 Paper On a theory of weak implications 1988-01-01 Paper Note on a proof of the extended Kirby-Paris theorem on labelled finite trees 1988-01-01...10 bytes (13 words) - 10:03, 6 October 2023
- Parsons' theorem 2005-07-06 Paper On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze 2003-06-13 Paper Groundwork for weak analysis...10 bytes (13 words) - 10:52, 7 October 2023
- neighborhood of a Fuchsian singular point with real spectrum 1996-12-02 Paper Weak Normalization of Power Series Rings 1996-10-21 Paper The class group of a strongly...10 bytes (13 words) - 22:55, 8 December 2023
