Representations of measurable sets in computable measure theory

This article is a fundamental study in computable measure theory. We use the framework of TTE, the representation approach, where computability on an abstract set X is defined by representing its elements with concrete "names", possibly countably infinite, over some alphabet {\Sigma}. As a basic com...

תיאור מלא

מידע ביבליוגרפי

Principais autores:	Klaus Weihrauch, Nazanin Tavana-Roshandel
פורמט:	Artigo
שפה:	Inglês
יצא לאור:	Logical Methods in Computer Science e.V. 2014-08-01
סדרה:	Logical Methods in Computer Science
נושאים:	computer science - logic in computer science mathematics - logic
גישה מקוונת:	https://lmcs.episciences.org/1022/pdf
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!