|
Volumn 3702 LNAI, Issue , 2005, Pages 123-137
|
A calculus for type predicates and type coercion
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS;
OBJECT ORIENTED PROGRAMMING;
SPECIFICATIONS;
FIRST-ORDER LOGIC;
TABLEAU CALCULUS;
TYPE COERCION;
FORMAL LOGIC;
|
EID: 33646186296
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/11554554_11 Document Type: Conference Paper |
Times cited : (3)
|
References (3)
|