𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Special issue automatic programming—foreword of the guest editors

✍ Scribed by Wolfgang Bibel; Alan W. Biermann

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
157 KB
Volume
15
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special Issue on Polynomial Elimination:
Special Issue on Polynomial Elimination: Foreword of the Guest Editors
✍ Michael Kalkbrener; Dongming Wang 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 53 KB

Algorithms for eliminating variables from systems of multivariate polynomials are essential tools in constructive algebra and algebraic geometry. The reason is that a number of important computational problems in these areas can be tackled by elimination techniques. In particular, elimination method

Special Issue on Order-sorted Rewriting:
Special Issue on Order-sorted Rewriting: Foreword of the Guest Editor
✍ G. Smolka 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 89 KB

Equational logic is ubiquitous in computer science. It is the basis for algebraic specification, rewriting, unification, and equational programming. These techniques evolved in a many-sorted setting, where different sorts are disjoint. Joseph Goguen observed that an order-sorted equational logic mod