L. V. Shabunin

Available identifiers

zbMath Open shabunin.l-vWikidataQ102213363 ScholiaQ102213363MaRDI QIDQ584244

List of research outcomes

Publication	Date of Publication	Type
On finitely presented and free algebras of Cantor varieties	2004-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4532126	2002-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4761711	2001-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4268321	1999-10-28	Paper
Decidability of the theories of certain infinite, finitely presented quasigroups	1994-02-13	Paper
Decidability of elementary theories of certain finitely defined algebras	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3987228	1992-06-28	Paper
On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups	1992-06-26	Paper
Decidability of the elementary theory of a finitely defined quasigroup	1990-01-01	Paper
Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733855	1989-01-01	Paper
On the interpretation of combinators with weak reduction	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3937455	1979-01-01	Paper
An interpretation of \(\alpha\)-words connected with simple combinatorial calculi. II	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4091904	1976-01-01	Paper
Combinatory calculi. I	1975-01-01	Paper
Combinatorial calculi. II	1975-01-01	Paper
An interpretation of \(\alpha\)-words connected with simple combinatorial calculi. I	1975-01-01	Paper
Some algorithmic problems of calculi of combinatory logic	1974-01-01	Paper
Simple combinatory calculi	1974-01-01	Paper
The undecidability of certain formal systems of combinatory logic	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4052080	1974-01-01	Paper
On the consistency of certain systems of combinatory logic	1973-01-01	Paper
A variant of combinatory logic with discriminators	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5648344	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5632550	1971-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: L. V. Shabunin