Резултати
| Назив: | Detection and analysis of some redundancies in linear logic sequent proofs | Аутори: | Lutovac, Tatjana   ; Harland, J. |
Година: | 2013 | Публикација: | Journal of Logic and Computation | ISSN: | 0955-792X Journal of Logic and Computation Претражи идентификатор |
Тип резултата: | Научни чланак | Колација: | vol. 24 br. 1 str. 187-232 | DOI: | 10.1093/logcom/ext007 | WoS-ID: | 000330447200007 | Scopus-ID: | 2-s2.0-84892707999 | URI: | https://enauka.gov.rs/handle/123456789/422447 | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | 21M21 - Водећи међународни часопис категорије M21 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.