𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semagraph: the Theory and Practice of Term Graph Rewriting

✍ Scribed by Ronan Sleep

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
332 KB
Volume
2
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Mathematics of Bioinformatics (Theory, P
Mathematics of Bioinformatics (Theory, Practice, and Applications) || Biological Networks and Graph Theory
✍ He, Matthew; Petoukhov, Sergey πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley & Sons, Inc. 🌐 English βš– 701 KB

Mathematics Of Bioinformatics: Theory, Methods, And Applications Provides A Comprehensive Format For Connecting And Integrating Information Derived From Mathematical Methods And Applying It To The Understanding Of Biological Sequences, Structures, And Networks. Each Chapter Is Divided Into A Number

Proof theory of higher-order equations:
Proof theory of higher-order equations: conservativity, normal forms and term rewriting
✍ K. Meinke πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 393 KB

We introduce a necessary and sufficient condition for the o-extensionality rule of higher-order equational logic to be conservative over first-order many-sorted equational logic for ground first-order equations. This gives a precise condition under which computation in the higher-order initial model

The theory and practice of illumination
The theory and practice of illumination
✍ Thomas W. Rolph πŸ“‚ Article πŸ“… 1909 πŸ› Elsevier Science 🌐 English βš– 837 KB

IN any branch of engineering, practice usually precedes theory. As practice develops and becomes more wide-spread,its faults show themselves, and in the attempt to remedy these faults the theory is evolved. Theory reacts upon practice, improving it, and practice in turn reacts upon theory, causing a