𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Adas and the equational theory of if-then-else

✍ Scribed by E. G. Manes

Publisher
Springer
Year
1993
Tongue
English
Weight
880 KB
Volume
30
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The Essentially Equational Theory of Hor
The Essentially Equational Theory of Horn Classes
✍ Hans-E. Porst πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 233 KB

It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic (see ). In the special case of quasivarieties a direct translation of the implicational syntax into the essentially equational one is known (see ). Here we present a similar tr

Pathogenic or not? And if so, then how?
Pathogenic or not? And if so, then how? Studying the effects of missense mutations using bioinformatics methods
✍ Janita Thusberg; Mauno Vihinen πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 367 KB

Many gene defects are relatively easy to identify experimentally, but obtaining information about the effects of sequence variations and elucidation of the detailed molecular mechanisms of genetic diseases will be among the next major efforts in mutation research. Amino acid substitutions may have d