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

This page was built for person: L. V. Shabunin