Systems of reductions

>> Google Books

所蔵情報QRコード

Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1987

形態:

x, 263 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 277 <BA00009279>

著者名:

ISBN:

9783540185987 [3540185984] (: gw)
9780387185989 [0387185984] (: us)

書誌ID:

BA01336587

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Bibliography: p. [256]-263
Includes index

主題:

Algebra, Universal--Data processing; Algorithms; Rewriting systems (Computer science)

言語:

英語

目次情報:

Finite Sets of Reductions

Infinite Sets of Reductions

Automata and Reductions

Deciding Algebraic Properties of Finitely Presented Monoids by Friedrich Otto

References

Subject Index

List of Symbols and Abbreviations

Finite Sets of Reductions

Infinite Sets of Reductions

Automata and Reductions

Deciding Algebraic Properties of Finitely Presented Monoids by Friedrich Otto

References

Subject Index

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Systems of Reductions Benninghofen, Benjamin., Kemmerich, Susanne., Richter, Michael M., SpringerLink (Online service)	7 図書 Foundations of genetic algorithms ([1] - 7) Rawlins, Gregory J. E., Whitley, L. Darrell, Vose, Michael D., Belew, Richard K., Banzhaf, Wolfgang, 1955-, Reeves, … Morgan Kaufmann Publishers
2 電子ブック Systems of Reductions Benninghofen SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings International Workshop on Algorithmic Learning Theory, Richter, Michael M., 1938- 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 図書 Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings (: gw ; : us) Processing Declarative Knowledge, Boley, H., Richter, Michael M., 1938- Springer Verlag
4 図書 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	10 図書 Topics in case-based reasoning : First European Workshop EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers (: gw ; : us) EWCBR, Wess, Stefan, Althoff, Klaus-Dieter, Richter, Michael M., 1938- Springer Verlag
5 図書 Term rewriting systems (: hard) Terese Cambridge University Press	11 図書 Permutation group algorithms (: hbk) Seress, Ákos, 1958- Cambridge University Press
6 図書 Scientific visualization : overviews, methodologies, and techniques Nielson, Gregory M., Hagen, H. (Hans), 1953-, Müller, Heinrich IEEE Computer Society Press	12 図書 Fundamental algorithms for permutation groups (: gw ; : us) Butler, Gregory, 1953- Springer-Verlag