Paths-based criteria and application to linear logic subsystems characterizing polynomial time

From MaRDI portal
(Redirected from Publication:1640980)