The following pages link to Stål Aanderaa (Q3177722):
Displaying 22 items.
- Search for good examples of Hall’s conjecture (Q3177724) (← links)
- (Q3693501) (← links)
- (Q3866091) (← links)
- (Q3882632) (← links)
- (Q3889258) (← links)
- Conservative reduction classes of Krom formulas (Q3947642) (← links)
- Prefix classes of krom formulae with identity (Q3956908) (← links)
- Linear sampling and the ∀∃∀ case of the decision problem (Q4055979) (← links)
- (Q4060953) (← links)
- The finite controllability of the Maslov case (Q4063430) (← links)
- (Q4077448) (← links)
- Prefix classes of Krom formulas (Q4090321) (← links)
- (Q4283224) (← links)
- (Q4283225) (← links)
- False lemmas in Herbrand (Q5331469) (← links)
- The Solvability of the Halting Problem for 2-State Post Machines (Q5546787) (← links)
- On the Minimum Computation Time of Functions (Q5582354) (← links)
- Herbrand analyzing functions (Q5625121) (← links)
- (Q5638290) (← links)
- (Q5639707) (← links)
- Decision problems for tag systems (Q5663844) (← links)
- (Q5682484) (← links)