𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An algebraic point of view of the data structures of database systems

✍ Scribed by Dan A. Simovici; Corina Reischer


Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
527 KB
Volume
24
Category
Article
ISSN
0166-218X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


An algebraic view of the BΓΆhm-out techni
✍ Adolfo Piperno πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 772 KB

Using an algebraic representation of closed /I-normal forms in I-calculus, the Biihm's theorem is rephrased as an equality predicate between elements of a term algebra. The presented algebraic interpretation gives new insight into the B&m-out technique and allows for original applications of the met