Term rewriting and all that

所蔵情報QRコード

Term rewriting and all that / Franz Baader and Tobias Nipkow

資料種別:

電子ブック

形態:

1 online resource (xii, 301 p.)

著者名:

ISBN:

9781139172752 [1139172751] (: electronic bk)

書誌ID:

EB00000363

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

Term Rewriting & All That

注記:

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

主題:

Rewriting systems (Computer science)

言語:

英語

目次情報:

Motivating examples / 1：

Abstract reduction systems / 2：

Universal algebra / 3：

Equational problems / 4：

Termination / 5：

Confluence / 6：

Completion / 7：

GrÃ¶bner bases and Buchberger's algorithm / 8：

Combination problems / 9：

Equational unification / 10：

Extensions / 11：

Ordered sets / Appendix 1：

A bluffer's guide to ML / Appendix 2：

Bibliography

Index

Motivating examples / 1：

Abstract reduction systems / 2：

Universal algebra / 3：

Equational problems / 4：

Termination / 5：

Confluence / 6：

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Term Rewriting and Applications Baader, Franz, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	7 図書 Efficient graph rewriting and its implementation (: gw ; : us) Dörr, Heiko, 1962- Springer-Verlag
2 電子ブック Term Rewriting and Applications Baader, Franz, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings International Conference on Rewriting Techniques and Applications, Nieuwenhuis, Robert Springer
3 図書 Term rewriting systems (: hard) Terese Cambridge University Press	9 図書 Rewriting techniques and applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings International Conference on Rewriting Techniques and Applications, Oostrom, Vincent van Springer
4 電子ブック Higher-Order Algebra, Logic, and Term Rewriting Heering, Heering, J., Meinke, Karl, Möller, Bernhard, Nipkow, Tobias SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings Nipkow, Tobias, 1958-, International Conference on Rewriting Techniques and Applications Springer
5 電子ブック Rewriting Techniques and Applications Tobias Nipkow, Nipkow, Tobias, Goos, G., Hartmanis, J., Van Leeuwen, Jan SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 図書 The description logic handbook : theory, implementation, and applications Baader, Franz Cambridge University Press
6 図書 Confluent string rewriting (: gw ; : us) Jantzen, Matthias, 1948- Springer-Verlag	12 電子ブック Term Rewriting French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12