String-rewriting systems

>> Amazon.co.jp

このページのQRコード

String-rewriting systems

種類:

図書

責任表示:

Ronald V. Book, Friedrich Otto

出版情報:

New York : Springer-Verlag, c1993

著者名:

シリーズ名:

Texts and monographs in computer science <BA00039349>

ISBN:

9780387979656 [0387979654] (:us)

9783540979654 [3540979654] (:gw)

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

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

詳細

主題:	Rewriting systems (Computer science)
分類・件名:	LCC : QA267 DDC : 005.13/1 LCSH : Rewriting systems (Computer science)
LCCN:	92037370
TTLL:	eng
言語:	英語
形態:	viii, 189 p. : ill. ; 25 cm
書誌ID:	BA19821119

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Term rewriting systems Terese Cambridge University Press	7 電子ブック Rewriting Techniques and Applications : 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings Book, Ronald V., SpringerLink (Online service) Springer-Verlag
2 図書 Term graph rewriting : theory and practice Sleep, M. R., Plasmeijer, M. J., Eekelen, M. C. van Wiley	8 電子ブック Rewriting Techniques and Applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings Book, Ronald V., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
3 図書 Reflection in rewriting logic : metalogical foundations and metaprogramming applications Clavel, Manuel, 1969- CSLI Publications	9 図書 Rewriting techniques and applications : 4th international conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings International Conference on Rewriting Techniques and Applications, Book, Ronald V. Springer-Verlag
4 図書 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	10 図書 The system of grammar Jespersen, Otto, 1860-1943 G. Allen & Unwin, Levin
5 図書 Systems of reductions Benninghofen, Benjamin, 1958-, Kemmerich, Susanne, 1953-, Richter, Michael M., 1938- Springer-Verlag	11 図書 Nonlinear systems Mohler, Ronald R. Prentice Hall
6 図書 Underground systems reference book National Electric Light Association National Electric Light Association	12 図書 The Oxford book of American verse Matthiessen, F. O. (Francis Otto), 1902-1950 Oxford University Press