Skip to search formSkip to main contentSkip to account menu

Ackermann function

Known as: Ackermann's function, Ackerman's function, Ackermann 
In computability theory, the Ackermann function, named after Wilhelm Ackermann, is one of the simplest and earliest-discovered examples of a total… 
Wikipedia (opens in a new tab)

Related topics

Related topics

39 relations
AlgorithmAlgorithm characterizationsAsymptotically optimal algorithmBlooP and FlooP

Broader (2)

Computability theoryTheory of computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Heterogeneous C–H alkenylations in continuous-flow: oxidative palladium-catalysis in a biomass-derived reaction medium
Herein we report the unprecedented Fujiwara–Moritani reaction catalysed by the commercially available heterogeneous palladium… 
2017
2017
Role Forgetting for ALCOQH ( O )-Ontologies Using an Ackermann-Based Approach
Forgetting refers to a non-standard reasoning problem concerned with eliminating concept and role symbols from description logic… 
2015
2015
Basic electron microscopy of aquatic viruses
For identification and structural studies, viruses are concentrated and purified by differential or density gradient… 
2011
2011
The Cosmic-Ray and Gas Content of the Cygnus Region as Measured in Gamma Rays by the Fermi Large Area Telescope
The Cygnus region hosts a giant molecular-cloud complex which actively forms massive stars. Interactions of cosmic rays with… 
Highly Cited
2007
Highly Cited
2007
European Balancing Act
Wind power integration into power systems has two dimensions: an economical one related to optimization of the resources and a… 
Highly Cited
2005
Highly Cited
2005
Direct algorithm for pole placement by state-derivative feedback for multi-inputlinear systems - nonsingular case
This paper deals with the direct solution of the pole placement problem by state-derivative feedback for multi- input linear… 
Highly Cited
2000
Highly Cited
2000
THE STRUCTURE(S) OF PARTICLE VERBS
This paper argues that particle verb combinations do not display a uniform structure but are represented either as a small clause… 
1993
1993
Ordered Paramodulation and Resolution as Decision Procedure
In recent years interesting decidability results for syntactically specified classes of clause sets have been achieved by… 
Highly Cited
1989
Highly Cited
1989
Recursive *-tree parallel data-structure
The authors introduce a fundamentally novel parallel data structure, called recursive *-tree (star tree). For its definition… 
1940
1940
SYNTHESIS AND EXCRETION OF TRIGONELLINE
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)