Stallings folding

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:describedBy Topology of finite graphs
gptkbp:field group theory
https://www.w3.org/2000/01/rdf-schema#label Stallings folding
gptkbp:introducedIn 1983
gptkbp:namedAfter gptkb:John_R._Stallings
gptkbp:relatedTo gptkb:finite_automata
graph theory
free groups
gptkbp:usedFor computing subgroup presentations
studying subgroups of free groups
solving the membership problem for subgroups of free groups
gptkbp:bfsParent gptkb:John_Stallings
gptkbp:bfsLayer 5