The following pages link to Yuri Gurevich (Q293302):
Displayed 50 items.
- (Q3889114) (← links)
- Rigid homogeneous chains (Q3912848) (← links)
- Modest theory of short chains. I (Q3914954) (← links)
- Modest theory of short chains. II (Q3914955) (← links)
- Recognizing the Real Line (Q3924183) (← links)
- Existential interpretation. II (Q3955341) (← links)
- Prefix classes of krom formulae with identity (Q3956908) (← links)
- (Q3971260) (← links)
- (Q3971263) (← links)
- (Q4005187) (← links)
- (Q4035311) (← links)
- (Q4036598) (← links)
- (Q4046036) (← links)
- (Q4049055) (← links)
- (Q4052108) (← links)
- (Q4078007) (← links)
- (Q4083888) (← links)
- The decision problem for standard classes (Q4106190) (← links)
- Semi-conservative reduction (Q4120563) (← links)
- Two notes on formalized topology (Q4136157) (← links)
- (Q4145700) (← links)
- Expanded theory of ordered Abelian groups (Q4145760) (← links)
- (Q4203830) (← links)
- (Q4267174) (← links)
- (Q4268485) (← links)
- (Q4281680) (← links)
- (Q4283242) (← links)
- Matrix Transformation Is Complete for the Average Case (Q4326850) (← links)
- Definability in Rationals with Real Order in the Background (Q4329520) (← links)
- (Q4362725) (← links)
- (Q4366883) (← links)
- Existential second-order logic over strings (Q4406309) (← links)
- (Q4413671) (← links)
- (Q4436365) (← links)
- Strong extension axioms and Shelah's zero-one law for choiceless polynomial time (Q4457727) (← links)
- (Q4505700) (← links)
- Definability and undefinability with real order at the background (Q4508271) (← links)
- (Q4520489) (← links)
- (Q4520492) (← links)
- (Q4520494) (← links)
- (Q4520496) (← links)
- (Q4525294) (← links)
- The Logic of Choice (Q4527924) (← links)
- Fixed Point Logics (Q4532728) (← links)
- Monadic simultaneous rigid E-unification and related problems (Q4571948) (← links)
- Tailoring recursion for complexity (Q4632420) (← links)
- Semantics-to-Syntax Analyses of Algorithms (Q4637221) (← links)
- (Q4665729) (← links)
- (Q4665733) (← links)
- (Q4665734) (← links)