Rewriting Techniques and Applications - 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
2 Angebote vergleichen
| Preise | Jan. 19 | Apr. 19 | Mai 19 | Nov. 19 |
|---|---|---|---|---|
| Schnitt | Fr. 42.70 (€ 43.67)¹ | Fr. 43.05 (€ 44.02)¹ | Fr. 43.05 (€ 44.02)¹ | Fr. 36.11 (€ 36.92)¹ |
| Nachfrage |
1
Rewriting Techniques and Applications (1993)
~EN NW EB DLISBN: 9783662215517 bzw. 3662215519, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Lagernd.
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), together with 29 selected papers, 6 system descriptions, and a list of open problems in the field. The papers covermany 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. eBook.
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), together with 29 selected papers, 6 system descriptions, and a list of open problems in the field. The papers covermany 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. eBook.
2
Symbolbild
Rewriting Techniques and Applications - 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings (1993)
DE NW EB DLISBN: 9783662215517 bzw. 3662215519, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…