The Leading eBooks Store Online 4,410,490 members ⚫ 1,532,108 ebooks

New to

Learn more

Rewriting Techniques and Applications

5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings

Rewriting Techniques and Applications by Claude Kirchner
Not for sale in
your country
Not Available
This volume contains the proceedings of RTA-93, the fifthInternational Conference on Rewriting Techniques andApplications, held in Montreal, Canada, in June 1993.The volume includes three invited lectures, "Rewritetechniques in theorem proving" (L. Bachmair), "Provingproperties of typed lambda terms: realizability, covers, andsheaves" (J. Gallier), and "On some algorithmic problems forgroups and monoids" (S.J. Adian), together with 29 selectedpapers, 6 system descriptions, and a list of open problemsin the field.The papers covermany topics: term rewriting; termination;graph rewriting; constraint solving; semantic unification,disunification and combination; higher-order logics; andtheorem proving, with several papers on distributed theoremproving, theorem proving with constraints and completion.
Springer Berlin Heidelberg; March 2015
501 pages; ISBN 9783662215517
Read online, or download in secure PDF format
Title: Rewriting Techniques and Applications
Author: Claude Kirchner
  • News
  • Contents
No entry found

This edition is not for sale in your country. Here are some titles that might be what you're after...