A new fixed point theorem in domain theory

26.02.2018

Erschienen in:

Verfasst von: Keye Martin; Johnny Feng
Erschienen in: Natural Computing | Ausgabe 4/2019

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

We generalize the standard fixed point theorem in domain theory: a dcpo has the fixed point property iff the image of its least deflation has the fixed point property, provided that the least deflation exists. We then turn to the existence of least deflations, showing that they exist in a number of important cases, including the case of compact domains.

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Jetzt einloggen Kostenlos registrieren

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriger Artikel An overview of quantum cellular automata

Nächster Artikel Data clustering based on quantum synchronization

Metadaten
Literatur

Titel: A new fixed point theorem in domain theory
Verfasst von: Keye Martin
Johnny Feng
Publikationsdatum: 26.02.2018
Verlag: Springer Netherlands
Erschienen in: Natural Computing / Ausgabe 4/2019
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI: https://doi.org/10.1007/s11047-018-9672-3

Dieser Inhalt ist nur sichtbar, wenn du eingeloggt bist und die entsprechende Berechtigung hast.

Springer Professional

A new fixed point theorem in domain theory

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 4/2019

Lattice-based versus lattice-free individual-based models: impact on coexistence in competitive communities

On an integrated approach to resilient transportation systems in emergency situations

An enhanced genetic algorithm for constrained knapsack problems in dynamic environments

A decomposition based multiobjective genetic algorithm with adaptive multipopulation strategy for flowshop scheduling problem

Data clustering based on quantum synchronization

Turns of different angles and discrete-continuous pedestrian dynamics model

Premium Partner