Skip to search formSkip to main contentSkip to account menu

Berman–Hartmanis conjecture

Known as: Berman conjecture, Berman-Hartmanis conjecture 
In structural complexity theory, the Berman–Hartmanis conjecture is an unsolved conjecture named after Leonard C. Berman and Juris Hartmanis that… 
Wikipedia (opens in a new tab)

Related topics

Related topics

18 relations
AC0Cryptographic hash functionFormal languageGadget (computer science)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
The distribution of metals in cosmological hydrodynamical simulations of dwarf disc galaxies
We examine the chemical properties of five cosmological hydrodynamical simulations of an M33-like disc galaxy which have been… 
2012
2012
Three problems in algebraic combinatorics
We consider three problems in algebraic combinatorics. The first one is related to spectral graph theory. Let λ1 ≥ · · · ≥ λn be… 
2012
2012
Produção de cebola orgânica em função do uso de cobertura morta e torta de mamona
A cebola e uma hortalica consumida em grande quantidade e tem sua producao concentrada no âmbito da agricultura familiar, sendo… 
2012
2012
On Proofs of the Farrell–Jones Conjecture
These notes contain an introduction to proofs of Farrell–Jones Conjecture for some groups and are based on talks given in Ohio… 
2011
2011
Coordinate-free characterization of homogeneous polynomials with isolated singularities
The Durfee conjecture, proposed in 1978, relates two important invariants of isolated hypersurface singularities by a famous… 
2004
2004
STARK ’ S QUESTION AND A STRONG FORM OF BRUMER ’ S CONJECTURE
We show that a question posed by Stark in 1980, regarding abelian L– functions of order of vanishing 2 at s = 0, has a negative… 
2001
2001
On the delta Scuti variability in the pre-main sequence Herbig Ae star HR 5999
A reanalysis of photometric data for the bright, southern Herbig Ae star HR 5999 obtained by Praderie et al. (1991) at ESO in… 
1998
1998
Robust stability evaluation of sampled-data control systems with time-invariant nonlinearity in a gain-phase plane
Describes a graphical evaluation of the robust stability in the frequency domain based on the results from our previous paper… 
1994
1994
Approaching the 5/4-Approximation for Rectilinear Steiner Trees
The rectilinear Steiner tree problem requires to find a shortest tree connecting a given set of terminal points in the plane with… 
1984
1984
Distance functions defined by variable neighborhood sequences
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)