메뉴 건너뛰기




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;

EID: 33646186296     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11554554_11     Document Type: Conference Paper
Times cited : (3)

References (3)
  • 1
    • 0009858375 scopus 로고    scopus 로고
    • Resolution theorem proving
    • Alan Robinson and Andrei Voronkov, editors, chapter 2. Elsevier Science
    • Leo Bachmair and Harald Ganzinger. Resolution theorem proving. In Alan Robinson and Andrei Voronkov, editors, Handbook of Automaled Reasoning, volume I, chapter 2, pages 19-99. Elsevier Science, 2001.
    • (2001) Handbook of Automaled Reasoning , vol.1 , pp. 19-99
    • Bachmair, L.1    Ganzinger, H.2
  • 3
    • 84948991656 scopus 로고
    • Tableau calculus for order-sorted logic
    • U. Hedstück, C.-R. Rollinger, and K. H. Bläsius, editors, Sorts and Types in Artificial Intelligence, Proc. of the Workshop, Ehringerfeld. Springer Verlag
    • Wolfgang Wernecke and Peter H. Schmitt. Tableau calculus for order-sorted logic. In U. Hedstück, C.-R. Rollinger, and K. H. Bläsius, editors, Sorts and Types in Artificial Intelligence, Proc. of the Workshop, Ehringerfeld, volume 418 of Lecture Notes in AI, pages 49-60. Springer Verlag, 1990.
    • (1990) Lecture Notes in AI , vol.418 , pp. 49-60
    • Wernecke, W.1    Schmitt, P.H.2


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