𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algorithm for WZW fusion rules: A proof

✍ Scribed by Mark A. Walton

Book ID
113358230
Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
282 KB
Volume
241
Category
Article
ISSN
0370-2693

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Proof rules for gotos
Proof rules for gotos
✍ Michael A. Arbib; Suad AlagiΔ‡ πŸ“‚ Article πŸ“… 1979 πŸ› Springer-Verlag 🌐 English βš– 389 KB
A simple proof for a simple rule
A simple proof for a simple rule
✍ A. MartΓ­n SΓ‘nchez; F. Vera TomΓ© πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 104 KB
A proof rule for restoring logic circuit
A proof rule for restoring logic circuits
✍ J.A. Bergstra; J.W. Klop πŸ“‚ Article πŸ“… 1983 πŸ› Elsevier Science 🌐 English βš– 843 KB

An axiomatic semantics is given for restoring logic circuits, both statically and dynamically. As an example the Muller C-element is discussed in detail. It is shown that a consistent circuit reacts in an unambiguous way on new inputs.