Scientific accomplishments
of the Laboratory LPCS

The Laboratory for Logical Problems of Computer Science (LPCS) was founded in 1995 on the basis of Sergei N. Artemov's research seminars "Proof theory" and "Logic in Computer Science" working at the Faculty of Mechanics and Mathematics, Moscow State University, since 1984.

The most important scientific accomplishments of the Seminars/Laboratory

Last modified 30.12.1997.

Mati Pentus