Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic (Q3035687): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
label / enlabel / en
 
Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2307/2045489 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4240215465 / rank
 
Normal rank
Property / title
 
Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic (English)
Property / title: Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic (English) / rank
 
Normal rank

Revision as of 18:39, 19 March 2024

scientific article
Language Label Description Also known as
English
Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic
scientific article

    Statements

    0 references
    0 references
    1983
    0 references
    vector groups
    0 references
    positive conjugate powers
    0 references
    special equality problem
    0 references
    HNN groups
    0 references
    decision problems
    0 references
    reachability sets in vector addition systems
    0 references
    Peano arithmetic
    0 references
    primitive recursively decidable
    0 references
    Ackermann function
    0 references
    Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references