On optimizing proof search in linear logic by value iteration method
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Slovak English |
| PhysicalDescription: | Tab. |
| ISSN: | 1335-8243 |
| Subjects: |
| Item Description: | Biogr. údaje |
|---|---|
| Physical Description: | Tab. |
| ISSN: | 1335-8243 |
| Bibliography: | Bibliogr. odkazy |
