메뉴 건너뛰기




Volumn 1130, Issue , 1996, Pages 14-16

Inductively defined relations: A brief tutorial extended abstract

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84958624680     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61629-2_33     Document Type: Conference Paper
Times cited : (1)

References (3)
  • 2
    • 84958668114 scopus 로고
    • Master's thesis, Department of Computer Science, University of Edinburgh, Oct
    • C. McBride. Inverting inductively defined predicates in Lego. Master's thesis, Department of Computer Science, University of Edinburgh, Oct. 1995.
    • (1995) Inverting Inductively Defined Predicates in Lego
    • McBride, C.1


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