Mapping among the nodes of infinite trees: a variation of Kőnig's infinity lemma

DOI10.1016/J.IPL.2015.01.005zbMath1328.05049OpenAlexW2461731045WikidataQ124856580 ScholiaQ124856580MaRDI QIDQ2339600

Jayadev Misra

Publication date: 2 April 2015

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2015.01.005

zbMATH Keywords

Kőnig's infinity lemmamappings among trees

Mathematics Subject Classification ID

Trees (05C05)

Related Items (1)

A Denotational Semantic Theory of Concurrent Systems

Cites Work

• A Denotational Semantic Theory of Concurrent Systems

This page was built for publication: Mapping among the nodes of infinite trees: a variation of Kőnig's infinity lemma