RUS  ENG
Full version
SEMINARS



Lecture 6. A fast algorithm for the search of a proof net for $L(\backslash)$

M. R. Pentus

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics



Abstract: A deterministic polynomial algorithm for the search of a proof net for $L(\backslash)$.


© Steklov Math. Inst. of RAS, 2024