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):

Displaying 2 items.

• On the finite containment problem for Petri nets (Q1819937) (← links)
• A logspace solution to the word and conjugacy problem of generalized Baumslag-Solitar groups (Q2975255) (← links)