| Publication | Date of Publication | Type |
|---|
On finitely presented and free algebras of Cantor varieties
Siberian Mathematical Journal | 2004-01-06 | Paper |
| scientific article; zbMATH DE number 1746557 (Why is no real title available?) | 2002-05-28 | Paper |
| scientific article; zbMATH DE number 1567880 (Why is no real title available?) | 2001-02-21 | Paper |
| scientific article; zbMATH DE number 1354015 (Why is no real title available?) | 1999-10-28 | Paper |
Decidability of the theories of certain infinite, finitely presented quasigroups
Russian Mathematics | 1994-02-13 | Paper |
Decidability of elementary theories of certain finitely defined algebras
Algebra and Logic | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 30979 (Why is no real title available?) | 1992-06-28 | Paper |
On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups
Siberian Mathematical Journal | 1992-06-26 | Paper |
Decidability of the elementary theory of a finitely defined quasigroup
Mathematical Notes | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4120153 (Why is no real title available?) | 1989-01-01 | Paper |
Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities
Mathematical Notes | 1989-01-01 | Paper |
On the interpretation of combinators with weak reduction
Journal of Symbolic Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3754761 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3512066 (Why is no real title available?) | 1976-01-01 | Paper |
An interpretation of -words connected with simple combinatorial calculi. II
Moscow University Mathematics Bulletin | 1976-01-01 | Paper |
Combinatory calculi. I
Moscow University Mathematics Bulletin | 1975-01-01 | Paper |
Combinatorial calculi. II
Moscow University Mathematics Bulletin | 1975-01-01 | Paper |
An interpretation of \(\alpha\)-words connected with simple combinatorial calculi. I
Moscow University Mathematics Bulletin | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3467044 (Why is no real title available?) | 1974-01-01 | Paper |
Some algorithmic problems of calculi of combinatory logic
Moscow University Mathematics Bulletin | 1974-01-01 | Paper |
Simple combinatory calculi
Moscow University Mathematics Bulletin | 1974-01-01 | Paper |
The undecidability of certain formal systems of combinatory logic
Moscow University Mathematics Bulletin | 1974-01-01 | Paper |
On the consistency of certain systems of combinatory logic
Moscow University Mathematics Bulletin | 1973-01-01 | Paper |
A variant of combinatory logic with discriminators
Moscow University Mathematics Bulletin | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3377213 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3358450 (Why is no real title available?) | 1971-01-01 | Paper |
