| Publication | Date of Publication | Type |
|---|
Comparison of expressive power of some query languages for databases
Proceedings of the Steklov Institute of Mathematics | 2014-08-04 | Paper |
| Isomorphisms and strong finite projective classes of commutative semigroups | 2011-05-31 | Paper |
Collapse results for query languages in database theory
Russian Mathematical Surveys | 2007-08-06 | Paper |
| scientific article; zbMATH DE number 2079031 (Why is no real title available?) | 2004-07-21 | Paper |
Finite queries do not have effective syntax.
Information and Computation | 2003-01-14 | Paper |
A general condition for collapse results
Annals of Pure and Applied Logic | 2002-05-20 | Paper |
| scientific article; zbMATH DE number 1302667 (Why is no real title available?) | 2002-01-31 | Paper |
| scientific article; zbMATH DE number 1678395 (Why is no real title available?) | 2001-12-04 | Paper |
Databases over a fixed infinite universe
Programming and Computer Software | 2001-04-26 | Paper |
Extended order-generic queries
Annals of Pure and Applied Logic | 2001-03-13 | Paper |
| scientific article; zbMATH DE number 1499080 (Why is no real title available?) | 2000-09-03 | Paper |
Normalizable linear orders and generic computations in finite models
Archive for Mathematical Logic | 1999-10-05 | Paper |
| scientific article; zbMATH DE number 1114329 (Why is no real title available?) | 1998-03-24 | Paper |
A logic for information systems
Studia Logica | 1997-08-04 | Paper |
Linear logic for nets with bounded resources
Annals of Pure and Applied Logic | 1996-01-01 | Paper |
Linear logic with fixed resources
Annals of Pure and Applied Logic | 1995-06-08 | Paper |
Limitations of the program memory and the expressive power of dynamic logics
Information and Computation | 1993-06-29 | Paper |
ON DYNAMIC THEORIES OF FREE ALGEBRAS
Mathematics of the USSR-Sbornik | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4112562 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4101143 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4189178 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4002070 (Why is no real title available?) | 1985-01-01 | Paper |
Hierarchies of program logics
Siberian Mathematical Journal | 1984-01-01 | Paper |
Deterministic dynamic logic is strictly weaker than dynamic logic
Information and Control | 1983-01-01 | Paper |
The comparison of the expressive power of first-order dynamic logics
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819687 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3832220 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3641425 (Why is no real title available?) | 1979-01-01 | Paper |
ON ELEMENTARY PROPERTIES OF EXISTENTIALLY CLOSED SYSTEMS
Russian Mathematical Surveys | 1979-01-01 | Paper |
Экзистенциальпо замкнутые коммутативные полутруппы
Fundamenta Mathematicae | 1977-01-01 | Paper |
ON THE ISOMORPHISM PROBLEM FOR COMMUTATIVE SEMIGROUPS
Mathematics of the USSR-Sbornik | 1975-01-01 | Paper |
Existentially closed regular commutative semigroups
Algebra and Logic | 1975-01-01 | Paper |
Two remarks on the varieties \({\mathfrak U}_{m,n}\)
Algebra and Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3460553 (Why is no real title available?) | 1974-01-01 | Paper |
Categorial quasivarieties
Algebra and Logic | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3457164 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3394125 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3427437 (Why is no real title available?) | 1972-01-01 | Paper |
On elementary theories of lattices of subgroups
Algebra and Logic | 1971-01-01 | Paper |
Equivalence of automata relative to a commutative semigroup
Algebra and Logic | 1971-01-01 | Paper |
Elementary lattice theories for ideals in polynomial rings
Algebra and Logic | 1970-01-01 | Paper |
On simple ideals in polynomial rings
Algebra and Logic | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3349795 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3322971 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3277490 (Why is no real title available?) | 1968-01-01 | Paper |
The isomorphism problem for commutative semigroups
Siberian Mathematical Journal | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3346338 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3329990 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3332471 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3277489 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3399222 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3316928 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3343701 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3365238 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3336812 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3365237 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3305000 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3304999 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3198896 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3172013 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3203879 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3250561 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3261709 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3316935 (Why is no real title available?) | 1962-01-01 | Paper |
