О весе аксиомы свертывания в теории, основанной на логике без сокращений
- 1 January 1999
- journal article
- Published by Steklov Mathematical Institute in Matematicheskie Zametki
- Vol. 66 (5) , 643-652
- https://doi.org/10.4213/mzm1208
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Linear logicTheoretical Computer Science, 1987