Rewriting Techniques and Applications
5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
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; constrai…
Mehr
CHF 44.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-3-662-21551-7
- EAN: 9783662215517
- Produktnummer: 37287937
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2015
- Seitenangabe: 492 S.
- Plattform: PDF
- Auflage: 1993
- Reihenbandnummer: 690
9 weitere Werke von Claude (Hrsg.) Kirchner:
Formal to Practical Security
5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
Ebook (PDF Format)
CHF 80.00
Bewertungen
Anmelden