Pages that link to "Item:Q5207571"
From MaRDI portal
The following pages link to AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES (Q5207571):
Displaying 14 items.
- A note on computable distinguishing colorings (Q2030129) (← links)
- Punctual definability on structures (Q2033006) (← links)
- Non-density in punctual computability (Q2041959) (← links)
- Quotient structures and groups computable in polynomial time (Q2097210) (← links)
- Computable topological abelian groups (Q2099260) (← links)
- Punctual structures and primitive recursive reducibility (Q2172879) (← links)
- Punctual copies of algebraic structures (Q2186304) (← links)
- Effective categoricity of automatic equivalence and nested equivalence structures (Q2195573) (← links)
- A note on decidable categoricity and index sets (Q2200982) (← links)
- Online presentations of finitely generated structures (Q2205949) (← links)
- FOUNDATIONS OF ONLINE STRUCTURE THEORY (Q5226592) (← links)
- PUNCTUAL CATEGORICITY AND UNIVERSALITY (Q5858918) (← links)
- Punctually presented structures I: Closure theorems (Q6146821) (← links)
- The complexity of inversion in groups (Q6199353) (← links)
