Pages that link to "Item:Q3035687"

The following pages link to Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic (Q3035687):

Displayed 2 items.

• On the finite containment problem for Petri nets (Q1819937) ‎ (← links)
• The Conjugacy Problem for HNN Extensions with Infinite Cyclic Associated Groups (Q4290833) ‎ (← links)