𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formally Defining Security Properties with Relations on Streams

✍ Scribed by Volkmar Lotz


Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
590 KB
Volume
32
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Universal group with twenty-one defining
✍ M.K. Valiev πŸ“‚ Article πŸ“… 1977 πŸ› Elsevier Science 🌐 English βš– 416 KB

11 is proved that every finit,.ly presented group .':.an be embedded in a group with twenty-one defining relations. The immediate consequence of the well-known theorem of Higman is that there exist universal finitely presented (f.p.) groups, i.e. groups in which every f.p. group (and consequently