![]() |
Volumn , Issue , 2002, Pages 299-308
|
The powerdomain of indexed valuations
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
POWERDOMAIN;
ALGEBRA;
COMPUTER PROGRAMMING LANGUAGES;
MATHEMATICAL OPERATORS;
MATHEMATICAL TRANSFORMATIONS;
PROBABILITY;
PROBABILITY DISTRIBUTIONS;
SEMANTICS;
SET THEORY;
THEOREM PROVING;
COMPUTER SCIENCE;
|
EID: 0036044726
PISSN: 10436871
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/LICS.2002.1029838 Document Type: Conference Paper |
Times cited : (24)
|
References (14)
|