The following pages link to S. Yu. Maslov (Q599717):
Displayed 50 items.
- Mutation calculi (Q599718) (← links)
- Herbrand strategies and the ''greater deducibility'' relation (Q1147113) (← links)
- Absorption relation on regular sets (Q1147513) (← links)
- Calculi with monotone deductions and their economic interpretation (Q1168323) (← links)
- Decidable classes reducing to a one-quantifier class (Q1215621) (← links)
- The inverse method and tactics for establishing deducibility for a calculus with functional symbols (Q1217466) (← links)
- Deduction search in calculi of general type (Q1245945) (← links)
- Probabilistic canonical calculi (Q1245947) (← links)
- Macroevolution as deduction process (Q1254019) (← links)
- Cut-type rules for calculi of general type (Q1256457) (← links)
- Representation of recursively enumerable sets by local calculi (Q2538846) (← links)
- The inverse method for establishing deducibility for logical calculi (Q2543322) (← links)
- Extension of the inverse method to the predicate calculus with equality (Q2560052) (← links)
- (Q3664767) (← links)
- (Q3684104) (← links)
- (Q3728875) (← links)
- (Q3819038) (← links)
- (Q3859764) (← links)
- (Q3866109) (← links)
- (Q3886914) (← links)
- (Q3888566) (← links)
- NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday) (Q3909013) (← links)
- (Q4074395) (← links)
- (Q4079382) (← links)
- (Q4111541) (← links)
- (Q4128721) (← links)
- (Q4133601) (← links)
- (Q4137148) (← links)
- (Q4766612) (← links)
- (Q5519135) (← links)
- (Q5523671) (← links)
- (Q5544286) (← links)
- (Q5544288) (← links)
- (Q5551459) (← links)
- (Q5553292) (← links)
- (Q5559243) (← links)
- (Q5560279) (← links)
- (Q5567872) (← links)
- (Q5581594) (← links)
- (Q5586321) (← links)
- (Q5586322) (← links)
- (Q5588643) (← links)
- (Q5596257) (← links)
- (Q5597534) (← links)
- (Q5606604) (← links)
- (Q5620584) (← links)
- On E. L. Post’s “tag” problem (Q5620585) (← links)
- (Q5634867) (← links)
- (Q5634868) (← links)
- Certain properties of E. L. Post’s apparatus of canonical calculi (Q5635434) (← links)