Approximation Simply Characterized

We provide a method for checking if a given auxiliary relation on a poset is the approximation relation on a domain.

Saved in:
Bibliographic Details
Published in:Electronic notes in theoretical computer science 2005-11, Vol.140, p.113-117
Main Author: Waszkiewicz, Paweł
Format: Article
Language:English
Subjects:
continuous) domain
lower semicontinuous function
way-below relation
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We provide a method for checking if a given auxiliary relation on a poset is the approximation relation on a domain.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2005.06.019