12 citations · 96 across the 17 of their papers we have counts for
1 paper · 1 filter
Oscar H. Ibarra, Ian McQuillan
The store language of a machine of some arbitrary type is the set of all store configurations (state plus store contents but not the input) that can appear in an accepting computat…