책 이미지
eBook 미리보기
책 정보
· 제목 : Term Rewriting and All That (Paperback, Revised)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 알고리즘
· ISBN : 9780521779203
· 쪽수 : 316쪽
· 출판일 : 1999-08-05
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 알고리즘
· ISBN : 9780521779203
· 쪽수 : 316쪽
· 출판일 : 1999-08-05
목차
Preface; 1. Motivating examples; 2. Abstract reduction systems; 3. Universal algebra; 4. Equational problems; 5. Termination; 6. Confluence; 7. Completion; 8. Grobner bases and Buchberger's algorithm; 9. Combination problems; 10. Equational unification; 11. Extensions; Appendix 1. Ordered sets; Appendix 2. A bluffer's guide to ML; Bibliography; Index.
