Computing in systems described by equations

Michael J. O'Donnell

[目次]

  • I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality.

「Nielsen BookData」より

この本の情報

書名 Computing in systems described by equations
著作者等 O'Donnell, Michael J.
O'Donnell M.J.
シリーズ名 Lecture notes in computer science
出版元 Springer-Verlag
刊行年月 1977
ページ数 xiv, 111 p.
大きさ 25 cm
ISBN 0387085319
3540085319
NCID BA03610792
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想