Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
The Measurement Process in Domain Theory

The Measurement Process in Domain Theory

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1853/2000
BookAutomata, Languages and Programming
DOI10.1007/3-540-45022-X
Copyright2000
ISBN978-3-540-67715-4
DOI10.1007/3-540-45022-X_11
Pages116-126
Subject CollectionComputer Science
SpringerLink DateSaturday, January 01, 2000
Add to marked items

The Measurement Process in Domain Theory

Keye Martin7 Contact Information

(7)  Department of Mathematics, Tulane University, New Orleans, LA, 70118, USA
Abstract
We introduce the measurement idea in domain theory and then apply it to establish two fixed point theorems. The first is an extension of the Scott fixed point theorem which applies to nonmonotonic mappings. The second is a contraction principle for monotone maps that guarantees the existence of unique fixed points.

Contact Information Keye Martin
Email: martin@math.tulane.edu
URL: http://www.math.tulane.edu/~martin
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.109 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)