| |
| 2001 | ||
|---|---|---|
| 3 | EE | Svyatoslav Sergeevich Lavrov: On Algorithmic Unsolvability. Ershov Memorial Conference 2001: 25-32 |
| 2 | EE | 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) | |