scientific article; zbMATH DE number 4045709
From MaRDI portal
Publication:3783265
Recommendations
- Estimating the normalized Jensen functional
- Normal approximation for stabilizing functionals
- Estimating the norm of a conditional extension of a linear functional
- scientific article; zbMATH DE number 4103733
- On estimation of the strong maximal functions
- On a strongly consistent estimator of the squared L_2-norm of a function
- Asymptotic values of strongly normal functions
- ON THE ESTIMATION OF LINEAR FUNCTIONALS
- On Strongly Normal Functions
Cited in
(12)- Perpetuality and uniform normalization in orthogonal rewrite systems
- A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
- Size-based termination of higher-order rewriting
- Perpetual reductions in -calculus
- On the longest perpetual reductions in orthogonal expression reduction systems
- Two decreasing measures for simply typed \(\lambda\)-terms
- On a strongly consistent estimator of the squared L_2-norm of a function
- scientific article; zbMATH DE number 3853055 (Why is no real title available?)
- scientific article; zbMATH DE number 3950521 (Why is no real title available?)
- Two \textit{different} strong normalization proofs?
- A simple proof of the undecidability of strong normalisation
- How to normalize the Jay
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3783265)
