The following pages link to Michael A. Taitslin (Q234734):
Displaying 50 items.
- (Q174146) (redirect page) (← links)
- (Q677075) (redirect page) (← links)
- A logic for information systems (Q677076) (← links)
- The comparison of the expressive power of first-order dynamic logics (Q791517) (← links)
- Hierarchies of program logics (Q801048) (← links)
- (Q1212555) (redirect page) (← links)
- Existentially closed regular commutative semigroups (Q1212556) (← links)
- Extended order-generic queries (Q1302301) (← links)
- Normalizable linear orders and generic computations in finite models (Q1306793) (← links)
- Linear logic with fixed resources (Q1326773) (← links)
- Two remarks on the varieties \({\mathfrak U}_{m,n}\) (Q1393426) (← links)
- Finite queries do not have effective syntax. (Q1854305) (← links)
- Linear logic for nets with bounded resources (Q1919758) (← links)
- Limitations of the program memory and the expressive power of dynamic logics (Q2365759) (← links)
- Comparison of expressive power of some query languages for databases (Q2510772) (← links)
- Elementary lattice theories for ideals in polynomial rings (Q2546046) (← links)
- Equivalence of automata relative to a commutative semigroup (Q2547886) (← links)
- On elementary theories of lattices of subgroups (Q2548595) (← links)
- On simple ideals in polynomial rings (Q2549318) (← links)
- The isomorphism problem for commutative semigroups (Q2554046) (← links)
- Categorial quasivarieties (Q2559368) (← links)
- (Q2757849) (← links)
- (Q3001107) (← links)
- (Q3039576) (← links)
- (Q3214989) (← links)
- (Q3290754) (← links)
- Deterministic dynamic logic is strictly weaker than dynamic logic (Q3323259) (← links)
- ON DYNAMIC THEORIES OF FREE ALGEBRAS (Q3475252) (← links)
- (Q3666821) (← links)
- (Q3754601) (← links)
- (Q3826520) (← links)
- (Q3835442) (← links)
- ON ELEMENTARY PROPERTIES OF EXISTENTIALLY CLOSED SYSTEMS (Q3864499) (← links)
- (Q4043257) (← links)
- (Q4046273) (← links)
- ON THE ISOMORPHISM PROBLEM FOR COMMUTATIVE SEMIGROUPS (Q4055877) (← links)
- Экзистенциальпо замкнутые коммутативные полутруппы (Q4133851) (← links)
- (Q4200049) (← links)
- (Q4249219) (← links)
- (Q4376044) (← links)
- (Q4474843) (← links)
- (Q4501132) (← links)
- Collapse results for query languages in database theory (Q5296715) (← links)
- (Q5330694) (← links)
- (Q5537374) (← links)
- (Q5547668) (← links)
- (Q5561958) (← links)
- (Q5561959) (← links)
- (Q5586302) (← links)
- (Q5586303) (← links)
