Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings
著者
書誌事項
Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings
（Lecture notes in computer science, 690）
Springer-Verlag, c1993
- : gw
- : us
大学図書館所蔵 全50件
注記
"Fifth International Conference on Rewriting Techniques and Applications held June 16-18, 1993, in Montreal, Canada."--Pref
Includes bibliographical references and index
内容説明・目次
内容説明
This volume contains the proceedings of RTA-93, the Fifth International Conference on Rewriting Techniques and Applications, held in Montreal, Canada, in June 1993. The volume includes three invited lectures, "Rewrite Techniques in Theorem Proving" (L. Bachmair); "Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves", (J. Gallier); and "On Some Algorithmic Problems for Groups and Monoids", (S.J. Adian). It also features full versions of 29 papers selected from 91 submissions, 6 system descriptions, and a list of open problems in the field. The papers cover many topics: term rewriting; termination; graph rewriting; constraint solving; semantic unification, disunification and combination; higher-order logics; and theorem proving, with several papers on distributed theorem proving, theorem proving with constraints and completion.
「Nielsen BookData」 より