The following pages link to Sergey M. Dudakov (Q266209):
Displaying 20 items.
- On inflationary fix-point operators safety (Q266210) (← links)
- (Q549458) (redirect page) (← links)
- Sufficient conditions for effective translation of locally generic queries (Q549459) (← links)
- A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition. (Q556528) (← links)
- (Q2043870) (redirect page) (← links)
- On decidability of theories of regular languages (Q2043872) (← links)
- Complexity of Lambek calculi with modalities and of total derivability in grammars (Q2066100) (← links)
- On undecidability of concatenation theory for one-symbol languages (Q2207016) (← links)
- On decidability of regular languages theories (Q2330555) (← links)
- Maximal state independent approximations to minimal real change (Q2349819) (← links)
- Pseudofinite homogeneity, isolation, and reducibility (Q2473726) (← links)
- (Q2767111) (← links)
- Monadic structures over an ordered universal random graph and finite automata (Q3104500) (← links)
- Isolation and Reducibility Properties and the Collapse Result (Q3434692) (← links)
- (Q4376047) (← links)
- (Q4504004) (← links)
- The collapse theorem for theories of<i>I</i>-reducible algebraic systems (Q4674660) (← links)
- (Q4934250) (← links)
- (Q4955334) (← links)
- Collapse results for query languages in database theory (Q5296715) (← links)
