The following pages link to Antoni Kościelski (Q1127318):
Displayed 4 items.
- Makanin's algorithm is not primitive recursive (Q1127320) (← links)
- Complexity of Makanin's algorithm (Q4371685) (← links)
- An axiomatic characterization of Boolean-valued models for set theory (Q5181364) (← links)
- An analysis of Makanin's algorithm deciding solvability of equations in free groups (Q6114505) (← links)