Premium
An embedding for groups with length functions
Author(s) -
Hoare A. H. M.
Publication year - 1979
Publication title -
mathematika
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.955
H-Index - 29
eISSN - 2041-7942
pISSN - 0025-5793
DOI - 10.1112/s0025579300009670
Subject(s) - embedding , citation , mathematics , hoare logic , combinatorics , computer science , library science , algorithm , artificial intelligence , correctness