L. V. Shabunin

From MaRDI portal
Person:584244

Available identifiers

zbMath Open shabunin.l-vWikidataQ102213363 ScholiaQ102213363MaRDI QIDQ584244

List of research outcomes





PublicationDate of PublicationType
On finitely presented and free algebras of Cantor varieties2004-01-06Paper
https://portal.mardi4nfdi.de/entity/Q45321262002-05-28Paper
https://portal.mardi4nfdi.de/entity/Q47617112001-02-21Paper
https://portal.mardi4nfdi.de/entity/Q42683211999-10-28Paper
Decidability of the theories of certain infinite, finitely presented quasigroups1994-02-13Paper
Decidability of elementary theories of certain finitely defined algebras1993-06-29Paper
https://portal.mardi4nfdi.de/entity/Q39872281992-06-28Paper
On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups1992-06-26Paper
Decidability of the elementary theory of a finitely defined quasigroup1990-01-01Paper
Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47338551989-01-01Paper
On the interpretation of combinators with weak reduction1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39374551979-01-01Paper
An interpretation of \(\alpha\)-words connected with simple combinatorial calculi. II1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40919041976-01-01Paper
Combinatory calculi. I1975-01-01Paper
Combinatorial calculi. II1975-01-01Paper
An interpretation of \(\alpha\)-words connected with simple combinatorial calculi. I1975-01-01Paper
Some algorithmic problems of calculi of combinatory logic1974-01-01Paper
Simple combinatory calculi1974-01-01Paper
The undecidability of certain formal systems of combinatory logic1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40520801974-01-01Paper
On the consistency of certain systems of combinatory logic1973-01-01Paper
A variant of combinatory logic with discriminators1973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56483441972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56325501971-01-01Paper

Research outcomes over time

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