scientific article; zbMATH DE number 4045709
From MaRDI portal
Publication:3783265
zbMATH Open0642.03008MaRDI QIDQ3783265FDOQ3783265
Authors: Roel de Vrijer 
Publication date: 1987
Title of this publication is not available (Why is that?)
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 \(\lambda\)-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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
