- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| 3 |      | Svyatoslav Sergeevich Lavrov: On Algorithmic Unsolvability. Ershov Memorial Conference 2001: 25-32 |
| 2 | | Svyatoslav Sergeevich Lavrov: On the Relationship between Foundations of Programming and Mathematics. Programming and Computer Software 27(6): 289-296 (2001) |
| 1986 | ||
| 1 |  | Svyatoslav Sergeevich Lavrov: Problem solving based on knowledge representation and program synthesis. Acta Cybern. 7(4): 437-441 (1986) |