메뉴 건너뛰기




Volumn 1755, Issue , 2000, Pages 416-423

An algorithm to compute inner approximations of relations for interval constraints

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; INFORMATION SCIENCE; NUMERICAL METHODS;

EID: 84943329254     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-46562-6_37     Document Type: Article
Times cited : (3)

References (16)
  • 2
    • 85019005864 scopus 로고    scopus 로고
    • Applied Logic Systems, Inc. CLP(BNR) user guide and reference, Available at
    • (1996)
  • 4
    • 85018993699 scopus 로고
    • Frffedfferic Benhamou and Touraïvane. Prolog IV: langage et algorithmes. In JFPL'95: IVffemes Journffees Francophones de Programmation en Logique, Dijon, France, Teknea
    • (1995) , pp. 51-65
  • 8
    • 85018972136 scopus 로고
    • IEEE. IEEE standard for binary floating-point arithmetic. Technical Report IEEE Std 754-1985, Institute of Electrical and Electronics Engineers, 1985. Reafirmed
    • (1990)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.