Skip to search formSkip to main contentSkip to account menu

König's lemma

Known as: König, König's infinity lemma, König lemma 
König's lemma or König's infinity lemma is a theorem in graph theory due to Dénes Kőnig (). It gives a sufficient condition for an infinite graph to… 
Wikipedia (opens in a new tab)

Related topics

Related topics

21 relations
Analytical hierarchyArithmetical hierarchyAronszajn treeDe Bruijn–Erdős theorem (graph theory)

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Scheduling in Computer and Manufacturing Systems
Scheduling with Large Communication Delays by EVRIPIDISBAMPIS(joint Work with Jean-Claude König) We consider a task graph model… 
Review
2014
Review
2014
Understanding and Treating Procrastination: A Review of a Common Self-Regulatory Failure
Procrastination is a pervasive self-regulatory failure affecting approximately one-fifth of the adult population and half of the… 
Highly Cited
2012
Highly Cited
2012
Faster Parameterized Algorithms Using Linear Programming
We investigate the parameterized complexity of Vertex Cover parameterized by the difference between the size of the optimal… 
Highly Cited
2004
Highly Cited
2004
A new sediment contact assay to assess particle-bound pollutants using zebrafish (danio rerio) embryos
Goal, Scope and Background. Based on a bioassay battery covering only primary producers and consumers as well as degraders, the… 
Highly Cited
1999
Highly Cited
1999
Energy budgets of lactating and non-reproductive Brown Long-Eared Bats (Plecotus auritus) suggest females use compensation in lactation
1. The energy budgets of lactating and non-reproductive female Brown Long-Eared Bats fed primarily on noctuid moths (≈ 27·2 kJ g… 
Review
1997
Review
1997
USEFUL ESTIMATION PROCEDURES FOR CRITIAL GAPS.
Highly Cited
1994
Highly Cited
1994
Chaotic Oscillations and the Genesis of Meaning in Cerebral Cortex
Single neurons generate action potentials that express their output in pulse frequencies, so that sensory stimuli can be… 
Highly Cited
1991
Highly Cited
1991
König ’ s Lemma
A continuation of [3]. The notion of finite–order trees, succesors of an element of a tree, and chains, levels and branches of a… 
Highly Cited
1990
Highly Cited
1990
Measure theory and weak König's lemma
We develop measure theory in the context of subsystems of second order arithmetic with restricted induction. We introduce a… 
Highly Cited
1976
Highly Cited
1976
Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report)
The uniform word problem for commutative semigroups (UWCS) is the problem of determining from any given finite set of defining… 
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)