|
|
Volumn 29, Issue , 1999, Pages 22-
|
|
Equational lifting monads
a a a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
LINEAR EQUATIONS;
MATHEMATICAL MODELS;
THEOREM PROVING;
ADDITIONAL EQUATIONS;
MONADS;
NON-EQUATIONAL PROPERTIES;
PARTIAL MAP CLASSIFIERS;
CONFORMAL MAPPING;
|
|
EID: 18944374800
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/S1571-0661(05)80303-2 Document Type: Conference Paper |
|
Times cited : (1)
|
|
References (0)
|