Rewriting Techniques and Applications
5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
(Sprache: Englisch)
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....
Leider schon ausverkauft
versandkostenfrei
Buch
49.00 €
Produktdetails
Produktinformationen zu „Rewriting Techniques and Applications “
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.
Bibliographische Angaben
- 2007, 508 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgeber: Kirchner, Claude
- Herausgegeben: Claude Kirchner
- Verlag: Springer
- ISBN-10: 3540568689
- ISBN-13: 9783540568681
Sprache:
Englisch
Kommentar zu "Rewriting Techniques and Applications"
0 Gebrauchte Artikel zu „Rewriting Techniques and Applications“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Rewriting Techniques and Applications".
Kommentar verfassen