|
Volumn 365, Issue 3, 2006, Pages 171-183
|
Projective topology on bifinite domains and applications
|
Author keywords
Bifinite domains; Continuous valuations; Maximal elements; Radon measures
|
Indexed keywords
COMPUTATION THEORY;
PROBABILISTIC LOGICS;
THEOREM PROVING;
BIFINITE DOMAINS;
CONTINUOUS VALUATIONS;
MAXIMAL ELEMENTS;
RADON MEASURES;
TOPOLOGY;
|
EID: 33750055019
PISSN: 03043975
EISSN: None
Source Type: Journal
DOI: 10.1016/j.tcs.2006.07.047 Document Type: Article |
Times cited : (8)
|
References (15)
|