ISSUE 发表于 2025-3-21 17:03:08

书目名称Strahlenphysik, Dosimetrie und Strahlenschutz影响因子(影响力)<br>        http://figure.impactfactor.cn/if/?ISSN=BK0878581<br><br>        <br><br>书目名称Strahlenphysik, Dosimetrie und Strahlenschutz影响因子(影响力)学科排名<br>        http://figure.impactfactor.cn/ifr/?ISSN=BK0878581<br><br>        <br><br>书目名称Strahlenphysik, Dosimetrie und Strahlenschutz网络公开度<br>        http://figure.impactfactor.cn/at/?ISSN=BK0878581<br><br>        <br><br>书目名称Strahlenphysik, Dosimetrie und Strahlenschutz网络公开度学科排名<br>        http://figure.impactfactor.cn/atr/?ISSN=BK0878581<br><br>        <br><br>书目名称Strahlenphysik, Dosimetrie und Strahlenschutz被引频次<br>        http://figure.impactfactor.cn/tc/?ISSN=BK0878581<br><br>        <br><br>书目名称Strahlenphysik, Dosimetrie und Strahlenschutz被引频次学科排名<br>        http://figure.impactfactor.cn/tcr/?ISSN=BK0878581<br><br>        <br><br>书目名称Strahlenphysik, Dosimetrie und Strahlenschutz年度引用<br>        http://figure.impactfactor.cn/ii/?ISSN=BK0878581<br><br>        <br><br>书目名称Strahlenphysik, Dosimetrie und Strahlenschutz年度引用学科排名<br>        http://figure.impactfactor.cn/iir/?ISSN=BK0878581<br><br>        <br><br>书目名称Strahlenphysik, Dosimetrie und Strahlenschutz读者反馈<br>        http://figure.impactfactor.cn/5y/?ISSN=BK0878581<br><br>        <br><br>书目名称Strahlenphysik, Dosimetrie und Strahlenschutz读者反馈学科排名<br>        http://figure.impactfactor.cn/5yr/?ISSN=BK0878581<br><br>        <br><br>

净礼 发表于 2025-3-21 20:59:06

Hanno Krieger,Wolfgang Petzolduter science, under the slogan "open sets are semidecidable properties". But whereas on Scott domains all such properties are also open, this is no longer true in general. In this paper we present a characterization of effectively given topological spaces that says which semidecidable sets are open.

obeisance 发表于 2025-3-22 03:59:03

http://reply.papertrans.cn/88/8786/878581/878581_3.png

impaction 发表于 2025-3-22 05:33:54

Hanno Krieger,Wolfgang Petzolduter science, under the slogan "open sets are semidecidable properties". But whereas on Scott domains all such properties are also open, this is no longer true in general. In this paper we present a characterization of effectively given topological spaces that says which semidecidable sets are open.

退潮 发表于 2025-3-22 09:51:10

Hanno Krieger,Wolfgang Petzolduter science, under the slogan "open sets are semidecidable properties". But whereas on Scott domains all such properties are also open, this is no longer true in general. In this paper we present a characterization of effectively given topological spaces that says which semidecidable sets are open.

paroxysm 发表于 2025-3-22 14:27:44

http://reply.papertrans.cn/88/8786/878581/878581_6.png

四目在模仿 发表于 2025-3-22 18:33:09

http://reply.papertrans.cn/88/8786/878581/878581_7.png

Aesthete 发表于 2025-3-22 21:20:30

http://reply.papertrans.cn/88/8786/878581/878581_8.png

Abbreviate 发表于 2025-3-23 02:41:55

Hanno Krieger,Wolfgang Petzolduter science, under the slogan "open sets are semidecidable properties". But whereas on Scott domains all such properties are also open, this is no longer true in general. In this paper we present a characterization of effectively given topological spaces that says which semidecidable sets are open.

Corporeal 发表于 2025-3-23 07:44:29

http://reply.papertrans.cn/88/8786/878581/878581_10.png
页: [1] 2 3 4 5
查看完整版本: Titlebook: Strahlenphysik, Dosimetrie und Strahlenschutz; Band 1: Grundlagen Hanno Krieger,Wolfgang Petzold Textbook 1992Latest edition Springer Fachm