 | 2011 |
|---|
| 5 |       | Sergei I. Adian,
Lev D. Beklemishev,
Albert Visser:
Proof and Computation.
J. Log. Comput. 21(4): 541-542 (2011) |
| 2005 |
|---|
| 4 | | Sergei I. Adian,
Matthias Baaz,
Lev D. Beklemishev:
Editorial.
J. Log. Comput. 15(4): 409 (2005) |
| 3 | | Sergei I. Adian:
Divisibility problem for one relator monoids.
Theor. Comput. Sci. 339(1): 3-6 (2005) |
| 1997 |
|---|
| 2 |  | Sergei I. Adian,
Anil Nerode:
Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings
Springer 1997 |
| 1993 |
|---|
| 1 | | Sergei I. Adian:
On some Algorithmic Problems for Groups and Monoids.
RTA 1993: 289-300 |
Data released under the ODC-BY 1.0 license — See also our legal information page