Scientific achievements of the Laboratory LPCS

The Laboratory for Logical Problems of Computer Science (LPCS) was founded in 1995 on the basis of Sergei 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 achievements of the Seminars/Laboratory

Last modified 30.12.1997.

Mati Pentus