Systems of reductions

>> Amazon.co.jp

このページのQRコード

Systems of reductions

種類:

図書

責任表示:

B. Benninghofen, S. Kemmerich, M.M. Richter

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1987

著者名:

シリーズ名:

Lecture notes in computer science ; 277 <BA00009279>

ISBN:

9783540185987 [3540185984] (: gw)

9780387185989 [0387185984] (: us)

注記:

Bibliography: p. [256]-263
Includes index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Algebra, Universal--Data processing; Algorithms; Rewriting systems (Computer science)
分類・件名:	NDC7 : 549.92 LCSH : Rewriting systems (Computer science) LCSH : Algebra, Universal -- Data processing LCSH : Algorithms
LCCN:	87028851
TTLL:	eng
言語:	英語
形態:	x, 263 p. : ill. ; 25 cm
書誌ID:	BA01336587

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Systems of Reductions Benninghofen, Benjamin., Kemmerich, Susanne., Richter, Michael M., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings Börger, Egon., Jäger, Gerhard., Kleine Büning, Hans., Richter, Michael M., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
2 電子ブック Systems of Reductions Benninghofen, Benjamin, Kemmerich, Susanne, Richter, Michael M., SpringerLink (Online service) Springer-Verlag	8 電子ブック Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings Börger, Egon., Kleine Büning, Hans., Richter, Michael M., Schönfeld, Wolfgang., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
3 図書 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	9 電子ブック Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers Börger, Egon., Jäger, Gerhard., Kleine Büning, Hans., Martini, Simone., Richter, Michael M., SpringerLink (Online … Springer Berlin Heidelberg : Imprint: Springer
4 電子ブック System Reduction for Nanoscale IC Design Benner, Peter., SpringerLink (Online service) Springer International Publishing : Imprint: Springer	10 図書 Term graph rewriting : theory and practice Sleep, M. R., Plasmeijer, M. J., Eekelen, M. C. van Wiley
5 図書 Term rewriting systems Terese Cambridge University Press	11 図書 Network models Ball, M. O. (Michael O.) Elsevier, North-Holland
6 図書 String-rewriting systems Book, Ronald V., Otto, Friedrich Springer-Verlag	12 電子ブック Theory of Computing and Systems : ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings Dolev, Danny., Galil, Zvi., Rodeh, Michael., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer