S. Yu. Maslov

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3819038	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3728875	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3664767	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3684104	1983-01-01	Paper
Calculi with monotone deductions and their economic interpretation	1982-01-01	Paper
Herbrand strategies and the greater deducibility relation	1981-01-01	Paper
Absorption relation on regular sets	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3859764	1980-01-01	Paper
NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday)	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3866109	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886914	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3888566	1979-01-01	Paper
Mutation calculi	1978-01-01	Paper
Macroevolution as deduction process	1978-01-01	Paper
Cut-type rules for calculi of general type	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133601	1977-01-01	Paper
Deduction search in calculi of general type	1976-01-01	Paper
Probabilistic canonical calculi	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128721	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4074395	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4079382	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4137148	1974-01-01	Paper
Extension of the inverse method to the predicate calculus with equality	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4111541	1973-01-01	Paper
Decidable classes reducing to a one-quantifier class	1972-01-01	Paper
The inverse method and tactics for establishing deducibility for a calculus with functional symbols	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4766612	1971-01-01	Paper
On E. L. Post’s “tag” problem	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5634867	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5634868	1971-01-01	Paper
Certain properties of E. L. Post’s apparatus of canonical calculi	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5639373	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5639374	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596257	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5597534	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5606604	1969-01-01	Paper
The inverse method for establishing deducibility for logical calculi	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5560279	1968-01-01	Paper
Representation of recursively enumerable sets by local calculi	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5544288	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5551459	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5581594	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5588643	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5544286	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5553292	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5559243	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5523671	1964-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5567872	1964-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5586322	1964-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5586321	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5620584	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5519135	1962-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: S. Yu. Maslov