Efficient general AGH-unification (Q462489): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / author
 
Property / author: Zhi-Qiang Liu / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 94A60 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68M12 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68Q42 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6359038 / rank
 
Normal rank
Property / zbMATH Keywords
 
abelian group
Property / zbMATH Keywords: abelian group / rank
 
Normal rank
Property / zbMATH Keywords
 
homomorphism
Property / zbMATH Keywords: homomorphism / rank
 
Normal rank
Property / zbMATH Keywords
 
general unification
Property / zbMATH Keywords: general unification / rank
 
Normal rank

Revision as of 14:10, 30 June 2023

scientific article
Language Label Description Also known as
English
Efficient general AGH-unification
scientific article

    Statements

    Efficient general AGH-unification (English)
    0 references
    0 references
    0 references
    0 references
    20 October 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    abelian group
    0 references
    homomorphism
    0 references
    general unification
    0 references